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: Andr9dgpwea.Gegoeke058u1n4s (Ang93drea.Ga0e6oekrka8en@inflh+gsormatik.undw57i-olb2skdden+bs3fburtqlsg.deu+)
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