| 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 | |
| MSF-CA | MSc | Model-Oriented Formal Methods | Nantes | J.C. Attiogbé | AtelierB , B , Z , ZANS , ZEVES , ZTC |