| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| V03 | MSc | Verification | Aalborg | K.G. Larsen | BDD , CTL , LTL , SPIN , UPPAAL |
| 4 | Software engineering II | Milan Poli. | P. San Pietro | MC , Petri , SPIN | |
| Software Engineering II | Milan Poli. | C. Ghezzi | Alloy , MC , SPIN , TFM | ||
| Foundations of Systems Development | L-M-U München | M. Wirsing | ADT , CASL , FPT , LTL , MC , SPIN , TLA , Z | ||
| Specification of Reactive Systems | Oldenburg | H. Wehrheim | CSP , FDR , SPIN | ||
| 214012 | Protocol Validation | Twente | J.-P. Katoen | CTL , LTL , NuSMV , PV , SPIN , UPPAAL |