Contact
Teaching
 |
 |
|
| Model-Checking SS 2020 | ||
 |
 |
| News | Basic information | Content | Exercises | Slides | Links | Exam |
Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
There will be an oral exam (via bbb) on August 17. In the unlikely case that all registrations are turning into real participation, please keep August 14 and 18 as a back up. The concrete slots will be assigned shortly before the exam to minimize the number of "just-in-case" registrations, who don't show up.