Projekte & Tools
Kontakt
Leitung
Sekretariat
Projekte & Tools
Projekte der Abteilung
- Petri Games: A Semantic and Algorithmic Approach for the Efficient Synthesis of Distributed Reactive Systems
- AVACS: Automatic Verification and Analysis of Complex Systems
- ProCoS: Provably Correct Systems
- CoCoN: Provably Correct Communikation Networks
- UniForM: Universal Workbench for Formal Methods
- PDZ: Kombination von Prozessen, Daten und Zeit
- ForMooS: Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozess