Introduction to Verification 2024/2025
For the first half of the course, see the page of François Laroussinie.
Slides
- 15 november: Büchi emptiness test (PDF)
- 29 november: partial-order reduction (PDF)
- 6 december: binary decision diagrams (PDF)
- 13 december: pushdown systems (PDF)
- 20 december: Petri nets (PDF)
Exercises
- 29 november: PDF
- 6 december: PDF
- 13 december: PDF
- 20 december: PDF
Homeworks
- 29 november: PDF
- 6 december: PDF
- 13 december: PDF
- 20 december: PDF
Homepage: Stefan Schwoon