Formal Specification and Verification Techniques
The Dagstuhl Steam Boiler Example

Preliminary outline of the Seminar:

In this seminar I give an overview of a range of methods developed and applied in the area of formal methods within computer science. In accordance with the theme of the project study course I use a concrete instance of a "water tanks world" -- a closed water tank comprising a steam boiler. This case study was first presented at a Dagstuhl seminar in June 95 and was a basis for a comparative study of 34 applications of formal methods. A number of selected solutions will be appearing in a volume of Lecture Notes in Computer Science 1165 by Springer Verlag. I will be using the example to illustrate a number of issues and open problems in the area.

Reading Materials:

Contact person:

Simin Nadjm-Tehrani