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
- SCARE
- AVACS: Automatic Verification and Analysis of Complex Systems
- ForMooS: Einbettung einer objekt-orientierten formalen Methode in einen objekt-orientierten Software-Entwicklungsprozess
- PDZ: Kombination von Prozessen, Daten und Zeit
- UniForM: Universal Workbench for Formal Methods
- CoCoN: Provably Correct Communikation Networks
- ProCoS: Provably Correct Systems