| 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 |