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
- translation from alternating Büchi automata to Büchi automata