This course covers advanced techniques for automatic software verification, especially techniques belonging to the field of program analysis or software model checking. The course continues the bachelor course Formal Verification and Specification 1 (FSV 1). Knowledge from FSV 1 is helpful, but not mandatory. The following list provides on overview of topics covered by the course
Lecture: Mondays 9am - 12pm, Amalienstr. 73A, Room 220
First lecture: October 15th, 2018
Tutorial: Thursdays 2pm - 4pm, Amalienstr. 73A, Room 211
First tutorial: October 18th, 2018
| Date | Topics | Slides | |
|---|---|---|---|
| 1 | 2018-10-15 | Organisation,Introduction,Program Syntax | swav_01.pdf |
| 2 | 2018-10-22 | Concrete semantics,Abstract Domains, Abstract semantics | swav_02.pdf |
| 3 | 2018-10-29 | Example domains,Flow-insensitiv analysis | swav_03.pdf |
| 4 | 2018-11-05 | Dataflow analysis | swav_04.pdf |
| 5 | 2018-11-12 | Model CheckingConfigurable Program AnalysisAbstract Reachability Graph | swav_05.pdf |
| 6 | 2018-11-19 | Counterexample-guided abstraction refinement | swav_06.pdf |
| 7 | 2018-11-26 | Sliced prefixes, large block encoding automata-based model checking | swav_07.pdf |
| 8 | 2018-12-03 | Bounded model checking | swav_08.pdf |
| 9 | 2018-12-10 | k-Induction | swav_09.pdf |
| 10 | 2018-12-17 | Symbolic execution, concolic execution | swav_10.pdf |
| 11 | 2019-01-07 | Cooperative verification (strenghtening, conditional model checking) | swav_11.pdf |
| 12 | 2019-01-14 | Witness validation | swav_12.pdf |
| 13 | 2019-01-21 | Regression verification | swav_13.pdf |
| 14 | 2019-01-28 | Testing, runtime verification | swav_14.pdf |
| 15 | 2019-02-04 | Questions and answering | repetition.pdf |
| Date | Sheet | Example Solution | Comments | |
|---|---|---|---|---|
| 1 | 2018-10-18 | sheet01.pdf | solution01.pdf | |
| 2 | 2018-10-25 | sheet02.pdf | solution02.pdf | |
| A | 2018-11-01 | self-study-01.pdf | self-study-01-solution.pdf | Self-study assignment |
| 3 | 2018-11-08 | sheet03.pdf | solution03.pdf | |
| 4 | 2018-11-15 | sheet04.pdf | solution04.pdf | |
| 5 | 2018-11-22 | sheet05.pdf | solution05.pdf | |
| 6 | 2018-11-29 | sheet06.pdf | solution06.pdf | |
| 7 | 2018-12-06 | sheet07.pdf | solution07.pdf | |
| 8 | 2018-12-13 | sheet08.pdf | solution08.pdf | |
| 9 | 2018-12-20 | sheet09.pdf | solution09.pdf | |
| 10 | 2018-01-10 | sheet10.pdf | solution10.pdf | |
| 11 | 2018-01-17 | sheet11.pdf | solution11.pdf | |
| 12 | 2018-01-24 | sheet12.pdf | solution12.pdf | |
| 13 | 2018-01-31 | sheet13.pdf | solution13.pdf |