Formal Methods for Software Engineering

This tutorial introduces formal methods in software engineering. The main objectives of the tutorial are as follows: Introduce the notion of formal methods, and show how it is used in practice for specifying and verifying software. Describe “industrial-strength” formal methods for specifying and verifying the object, dynamic, and functional models of software. Discuss various approaches to showing consistency between the three models of software.