Formal methods for software engineering

  • Mahesh H. Dodani
Session 14: Tutorial Presentation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 750)


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.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Mahesh H. Dodani
    • 1
  1. 1.The University of IowaIowa City

Personalised recommendations