Learning materials (lecture slides, tutorial assignments) 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
- witness validation
- test-case generation with verifiers
- Dozent*in: Marie-Christine Jakobs