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 | |
Formal Methods | Lausanne | D. Buchs | ADT | ||
Foundations of Systems Development | L-M-U München | M. Wirsing | ADT , CASL , FPT , LTL , MC , SPIN , TLA , Z | ||
CS126 | 1 | Design of Information Structures | Warwick | S. Russ | ADT |