Model Checking Lecture 1
Model Checking Lecture 1. Outline. 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking Symbolic algorithms for model checking Pushdown systems. Model checking , narrowly interpreted :
1.31k views • 84 slides