Organisation
The first meeting will be on Thursday, 17.10.2013 at 12:00 in O27-412.
Seminar Formal specification languages and their semantics
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.
Bibliography
- D. Bjørner and M. C. Henson (editors): Logics of Specification Languages. Monographs in Theoretical Computer Science, Springer, 2008.
Contact
Schedule
Registration on 17.10.2013 at 12:00 in O27-412