Model Checking Lecture 2. Three important decisions when choosing system properties: 1automata vs. logic 2branching vs. linear time 3safety vs. liveness.
20100522 software verification_sharygina_lecture01
Büchi Tree Automata Based on “Weakly definable relations and special automata” By Michael Rabin.
1 Formal Engineering of Reliable Software LASER 2004 school Tutorial, Lecture1 Natasha Sharygina Carnegie Mellon University.
Model checking
Model Checking Basics
Model Checking Lecture 2
Game and Tree Searching
Anantha 3.0