Model Checking Lecture 2 Three important decisions when choosing system properties: automata vs. logic branching vs. linear time safety vs. liveness The three decisions are…
