| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| F01-Dat4 | Semantics and Verification 2002 | Aalborg | A. Ingólfsdóttir | BDD , CCS , CWB , PA , UPPAAL | |
| TOV04 | Testing and Verification | Aalborg | K.G. Larsen | MC , MSC , PV , TFM , UPPAAL | |
| V03 | MSc | Verification | Aalborg | K.G. Larsen | BDD , CTL , LTL , SPIN , UPPAAL |
| CO617 | BSc 3 | Software Failure and Risk | Kent | R. Lemos | MC , UPPAAL |
| 214012 | Protocol Validation | Twente | J.-P. Katoen | CTL , LTL , NuSMV , PV , SPIN , UPPAAL |