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
- Dozent*in: Marie-Christine Jakobs
Erste Veranstaltung: Wednesday, 13 April 2022, 13:30
Prüfungsdatum (falls Klausur): Wednesday, 27 July 2022, 09:00