| 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 | |
| IFM-CA | MSc 1-2 | Formal Methods Integration | Nantes | J.C. Attiogbé | B , CCS , CSP , MPS , PA |
| 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 |
| CS L3 | S2 | Systems and Software Engineering | London (S.B.) | A. Abdallah | CSP , Haskell , Z |