Projects & Tools
Kontakt
Leitung
Sekretariat
Contact
Head
Secretary
Projects & Tools
Projects of the department
- Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems
- SCARE
- AVACS: Automatic Verification and Analysis of Complex Systems
- ForMooS: Embedding an Object-Oriented Formal Method into an Object-Oriented Software Development Process
- PDZ: Combination of processes, data and time
- UniForM: Universal Workbench for Formal Methods
- CoCoN: Provably Correct Communication Networks
- ProCoS: Provably Correct Systems