IA159 Formal Verification Methods
Pushdown Systems: Reachability (and LTL Model Checking)
The part about LTL model checking will not be presented this year, but there is a recodring from spring 2021:
The part about LTL model checking will not be presented this year, but there is a recodring from spring 2021: