| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| MSF-CA | MSc | Model-Oriented Formal Methods | Nantes | J.C. Attiogbé | AtelierB , B , Z , ZANS , ZEVES , ZTC |
| 213520 | Formal Methods for Software Engineering | Twente | E. Brinksma | FSP , LTSA , PA , SDL , Z , ZEVES |