UNU/IIST - IFIP WG 2.3
This school presents formal models used for software development and their properties. It focuses on formal approaches for software specification and verification using programming logical foundations. Moreover, the use of these approaches for object-oriented software specification and verification is dealt with. Cryptographic protocols security is also addressed in this School. Courses are illustrated by demos using specification and verification tools.
Calculus - Foundations and Applications"
Ralph Back, Abo Akademi, Finland
Models and Engineering Theories of Software Systems"
Manfred Broy, TU Munich, Germany
asynchronous programs", "Reasoning about security"
Ernie Cohen, Microsoft, USA
for finding errors in object-oriented software"
Rustan Leino, Microsoft, USA