| 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 | |
| Specification of Reactive Systems | Oldenburg | H. Wehrheim | CSP , FDR , SPIN | ||
| CDS | M | Concurrency and Distributed Systems | Oxford | J. Davies | CSP , FDR |
| ACT | M | Advanced Concurrency Tools | Oxford | J. Davies | CSP , FDR |