| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| 5/ MSc | Specification and Formal Verification in B | Bordeaux | G.Sutre | ARef , AtelierB , B , Btlk , PV | |
| Software Engineering II | Cambridge | L.C. Paulson | ARef , SML , Z | ||
| 4 | Formal methods for concurrent and distributed systems | Milan Poli. | D. Mandrioli | B , HL , Petri , RefB , TL , TRIO | |
| MFP-II | 4 | Formal Methods II | Minho | J.N. Oliveira | AoP , DRef , MPC , VDMSL , VDMT , VPP |
| FPD-I | Formal Program Design I | Oxford | G. Jones | ARef | |
| FPD-II | Formal Program Design II | Oxford | R. Bird | DRef | |
| ASD | M | Advanced Software Development | Oxford | J. Davies | DRef , RC , Z |
| CM314 | 3 | Critical Systems | Southampton | M.J. Butler | B , Btlk , RefB , Safety |