Formal Methods: Completed Projects

• UNIFORM (Unified formal Methods Workbench)
• KORSO (Correct Software, only in German)
• COMPASS (Comprehensive Algebraic Approach to System Specification)
• PROSPECTRA (Program Development by Specification and Transformation)