Universität Bremen  
  FB 3  
  Group BKB > Research > Formal Methods > Deutsch
English
 

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)
 
   
Author: Dr. Berthold Hoffmann
 
  Group BKB 
Last updated: September 13, 2002   impressum