| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Modelling and Verification of Probabilistic Systems | Course | M | Katoen |
| Static Program Analysis | Course | M | Noll |
| Trends in Model Checking | Seminar | B/M | Quatmann |
| Learning in Verification | Seminar | B/M | Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical course | B | Schroer |