Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
---|---|---|---|---|---|
TEKS | Techniques of Correct Software Development | Bremen | C. Lüth | ADT , CASL , CSP , FDR , Isabelle , MC | |
Algebraic Specification | Bremen | L. Schröder | ADT , CASL | ||
FSDPT | Formal Specification of Data and Process Types | T.U. Dresden | Horst Reichel | ADT , CASL , PA |