IA169 Model Checking
Reachability in pushdown systems
The part about LTL model checking is a bonus (not presented and not a subject of the exam). There is a recording from spring 2021:
The part about LTL model checking is a bonus (not presented and not a subject of the exam). There is a recording from spring 2021: