Formale Methoden: Abgeschlossene Projekte

• UNIFORM (Unified formal Methods Workbench)
• COMPASS (Comprehensive Algebraic Approach to System Specification, nur in Englisch)
• KORSO (Korrekte Software, nur in Deutsch)
• PROSPECTRA (Program Development by Specification and Transformation, nur in Englisch)