Formalware Engineering: Formal Methods for Engineering of Software
Suggested readings
Jean-Raymond Abrial: The B-book (Cambridge University Press). 1996.
Juan Bicarregui, John Fitzgerald, Peter Lindsay, Richard Moore and Brian Ritchie: Proof in VDM: A Practitioner’s Guide. Springer-Verlag 1994.
E.Boerger: High Level System Design and Analysis using Abstract State Machines. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds): Current Trends in Applied Formal Methods (FM-Trends 98). Lecture Notes in Computer Science, Vol. 1641, pp. 1–43. Springer-Verlag, Berlin Heidelberg New York (1999).
E.M. Clarke and Orna Grumberg and Doron Peled: Model Checking. MIT Press, 1999.
Judy Crow, Sam Owre, John Rushby, Natarajan Shankar, and Mandayam Srivas. A Tutorial Introduction to {PVS}. WIFT ‘95 (Workshop on Industrial-Strength Formal Specification Techniques), Boca Raton, Florida, April 1995. Available, with specification files, at http://www.csl.sri.com/wift-tutorial.html.
John Fitzgerald and Peter Gorm Larsen: Modelling Systems -Practical Tools and Techniques in Software Development. Cambridge University Press 1998.
Y. Gurevich: Evolving Algebra 1993: Lipari Guide. In: Boerger, E. (ed): Specification and Validation Methods. Oxford University Press (1995) 9–36.