| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| SWT | 3 | Software Technology | Graz | B.K. Aichernig | FPT , FS , VDMSL , VDMT |
| MFP-I | 4 | Formal Methods I | Minho | J.N. Oliveira | AoP , FPT , MPC , VDMSL , VDMT |
| MFP-II | 4 | Formal Methods II | Minho | J.N. Oliveira | AoP , DRef , MPC , VDMSL , VDMT , VPP |
| LAB-MF | 5 | Formal Methods Laboratory | Minho | J.N. Oliveira | Alloy , B , VDMT , VPP |
| CSC227 | 2 | Formal Specification of Software | Newcastle | S. Riddle | VDMSL , VDMT |
| CSC230 | 2 | Formal Methods in Practice | Newcastle | J. Steggles | VDMSL , VDMT |