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 |