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
)
Homepage:
Stefan Schwoon