Lecture 2
summary
- overview of formal methods, formal verification, and the course [slides]
- LTL and alternating Büchi automata [slides]
- basic automata constructions
- translation of LTL to alternating Büchi automata
references
- “Formal Methods in Industry”, 2024
- “On Formal Methods Thinking in Computer Science Education”, 2024
- “Alternating automata and program verification”, Vardi, 1995
- “Principles of Model Checking”, Baier & Katoen, §4.3, 5