| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| 3ICT5 | Mathematical Modelling | Dublin | M. Tyrrell | AL , LamC , PA , PiC | |
| OOTI | Formal Methods in the Software Life Cycle | Eindhoven | E. Vink | ESCJava , JML , MC , PV | |
| CO7205 | Advanced System Design | Leicester | J. Fiadeiro | CommUnity , SA , Unity | |
| CM314 | 3 | Critical Systems | Southampton | M.J. Butler | B , Btlk , RefB , Safety |