IA159 Formal Verification Methods
Pre-Pandemic Part of the Course: Programme & Slides
- 17. 2. 2020: lecture is cancelled
- 24. 2. 2020: Introduction, Relation to Other Courses, Basic Taxonomy of Formal Verification Techniques, Topics of This Course
- 2. 3. 2020: Theorem Prover ACL2 [handout: acl2_handout.pdf] [demonstration: script.acl2] [application of HOL Light: Flyspeck] [Dafny@rise4fun: Example1, Example2, Challenge1, Challenge2] (This lecture will not be the subject of final examination.)
- 9. 3. 2020: Reachability in Pushdown Systems