Introduction to Verification 2025/2026
For the first half of the course, see the page of François Laroussinie.
The slides for the course are the result of work by Javier Esparza, Keijo Heljanko, and Stefan Schwoon.
Slides
- 14 november: Büchi emptiness test (PDF), beginning partial-order reduction
- 21 november: partial-order reduction (PDF – last modification: 21/11)
- 28 november: binary decision diagrams (PDF)
- 5 december: pushdown systems (PDF)
The exercises are assured by Dhrubajyoti Ghosh,
see here.
Exam
The exam will take place on Friday 16 january.
Homepage: Stefan Schwoon