| 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 | |
| MAS | M | Machine-Assisted Software Engineering | Oxford | J. Davies | B , Btlk |
| CM314 | 3 | Critical Systems | Southampton | M.J. Butler | B , Btlk , RefB , Safety |