• 20. 2. 2019: Introduction, Relation to Other Courses, Basic Taxonomy of Formal Verification Techniques, Topics of This Course

• 27. 2. 2019: 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.)

• 6. 3. 2019: Reachability in Pushdown Systems
• 13. 3. 2019: LTL Model Checking of Pushdown Systems (This lecture will not be the subject of final examination.)
• 20. 3. 2019: Cancelled

• 27. 3. 2019: Partial Order Reduction - part I
• 3. 4. 2019: Partial Order Reduction - part II

• 10. 4. 2019: Abstraction - part I
• 17. 4. 2019: Abstraction - part II

• 24. 4. 2019: Static Analysis and Abstract Interpretation

• 15. 5. 2019: Shape Analysis via 3-Valued Logic [(semi)demo: TVLA output without bug and with bug]

• 22. 5. 2019: Verification via Automata, Symbolic Execution, and Interpolation [used in Ultimate Automizer]