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