Wednesday 25 October, 17:00-18:30
Session 3: Formal Methods
Chair: M. Heisel, University of Magdeburg, D
- A Formal Methods Case Study: using "light-weight" VDM for the Development
of a Security System Module - G. Droschl (Technical University of Graz, A), W. Kuhn,
G. Sonneck and M. Thuswald (Austrian Research Centers Seibersdorf, A)
- Formal Methods: the Problem Is Education - T. Scheurer (University of
Manchester Institute of Science and Technology, UK)
- Formal Methods Diffusion: Past Lessons and Future Prospects - R. Bloomfield
(Adelard, UK), D. Craigen (ORA, CA), F. Koob, M. Ullmann and S.Wittmann (Bundesamt für
Sicherheit in der Informationstechnik, D)