The top documents tagged [finite set of stack]

SP

---

29 views

Model Checking Lecture 5. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking.

---

218 views

Part 2: Reachability analysis of stack-based systems.

---

219 views