Introduction to Verification 2023/2024
Slides
- 15 september: modelling, Kripke structures (PDF)
- 22 september: linear-time logics (PDF)
- 29 september: branching-time logics (PDF)
- 6 october: CTL model checking (PDF), Büchi automata (PDF)
- 13 october: Büchi emptiness test (PDF), partial-order reduction (PDF)
- 20 october: continuation of partial-order reduction, see above
- 27 october: binary decision diagrams (PDF)
- 17/24 november: pushdown systems (PDF)
- 1/8/15 december: Petri nets (PDF)
- 22 december: Abstraction/refinement (PDF)
Exercises
The exercises are given by Stéphane Le Roux, you can find them here.
Exams
- Midterm exam with solutions (PDF)
- Final exam with solutions (PDF)
Teachers: Stefan Schwoon, Stéphane Le Roux