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
- cooperative verification, especially conditional model checking
- Dozent*in: Marie-Christine Jakobs