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.