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)
- 10 january: Abstraction/refinement (PDF)
Exercises
- 29 november: PDF
- 6 december: PDF
- 13 december: PDF
- 20 december: PDF
- 10 january: PDF
Homeworks
- 29 november: PDF
- 6 december: PDF
- 13 december: PDF
- 20 december: PDF
- 10 january: PDF
Exam
Friday 17 january, 10 to 12, room 1B10
- 2022/2023: exam (PDF), solutions (PDF)
- 2023/2024: exam+solutions (PDF)
Homepage: Stefan Schwoon