| Advanced Model Checking |
M |
Katoen |
| Probabilistic Programming |
M |
Katoen |
| Static Program Analysis |
M |
Noll |
| Analysis and Verification of Pointer Programs (Seminar) |
B/M |
Noll |
| Advances in Model Checking (Seminar) |
B/M |
Katoen |
| Introduction to Program Analysis (Proseminar) |
B |
Katoen/Noll |
| Bridging Course Foundations of Informatics |
M |
Noll |