Course | Type | Bachelor / Master | Docent |
---|---|---|---|
Modelling and Verification of Probabilistic Systems | Lecture | M | Katoen |
Semantics and Verification of Software | Lecture | M | Noll |
Trends in Computer-Aided Verification | Seminar | B/M | Katoen/Noll |
Implementation of Heuristic Algorithms for Board Games | Practical course | B | Berger |