Seminar Topics
Completion requirements
- Event-B and the Rodin Platform
(open) - Chapter in Book Logics of Specification Languages (available from WS)
- Book Modeling in Event B (available from WS)
- Rodin Tutorial
- The ProB Animator and Model Checker
- Alloy: A Language and Tool for Relational Models (Klaus Reisenberger)
- Book Software Abstractions (available from WS)
- Alloy Tutorial
- Alloy Course
- Natural Deduction Proofs in Isabelle/Isar (Alexander Siedler)
Last modified: Monday, 6 October 2014, 4:14 PM