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: