The top documents tagged [state space turn]

Modeling Software Systems Lecture 2 Book: Chapter 4.

---

229 views

Model Checking and Testing combined Doron Peled, University of Warwick.

---

217 views