Projekte & Tools
Kontakt
- Leitung
Prof. Dr. Ernst-Rüdiger Olderog - Sekretariat
Andrea Göken
Tel.: +49-(0)441-798-3121
Fax.: +49-(0)441-798-2965
E-Mail: Andrea.2ypgGoekenskdh+ (Andreaq9a46.Goekn8en@7linformatik.ubzgnixk68w-oldenbu93rg.de)
Raum: A3 2-208
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