Learning materials (lecture slides, tutorial assignments, videos, script) for the course automatic software verification.

The course deals with approaches for automatic software verification. Topics of the course are:
- operational semantics of sequential programs
- configurable program analysis (including configuration of dataflow analyses and model checking)
- bounded model checking
- k-induction
- cooperative verification, especially conditional model checking

Erste Veranstaltung: Mittwoch, 13. April 2022, 13:30
Prüfungsdatum (falls Klausur): Mittwoch, 27. Juli 2022, 09:00