The first meeting will be on Wednesday, 17.04.2013 at 13:00 in O27-412.

Formal specification languages facilitate the precise statement of requirements for systems, reasoning for their plausibility and adequacy, and the proof of safety and liveness properties.

In this seminar we discuss various current formal specification languages (for example, ASM, CafeOBJ, RAISE, TLA+, VDM and Z), their semantics and ways to perform proofs.

• D. Bjørner and M. C. Henson (editors): Logics of Specification Languages. Monographs in Theoretical Computer Science, Springer, 2008.