| Course | Type | Bachelor / Master | Docent |
|---|---|---|---|
| Model Checking | Lecture | B/M | Quatmann |
| Static Program Analysis | Lecture | M | Noll |
| Trends in Computer-Aided Verification | Seminar | B/M | Noll |
| Introduction to Program Analysis | Proseminar | B | Noll |
| Implementation of Heuristic Algorithms for Board Games | Practical course | B | Berger/Brix |