Seminar Topics
Abschlussbedingungen
- 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)
Zuletzt geändert: Montag, 6. Oktober 2014, 16:14