Information for student

Slides:

Lecture 1: Introduction
Lecture 2: LTL
Lecture 3: LTL and omega-automata
Lecture 4: Model cheking for LTL
Lecture 5: CTL
Lecture 6: Symbolic verification I
Lecture 7: Symbolic verification II
Lecture 8: Bounded verification
Lecture 9: Bounded model checking of software ( CBMC slides )
Lecture 10: CEGAR ( SatAbs slides )
Lecture 11: Proving correctness of programs. JML
Lecture 12: Abstract interpretation I
Lecture 13: Abstract interpretation II
Lecture 14: preparation to exam

Consecutive slides will be added in the course of the semester.

Lab:

informations, excercises, assignments, etc