The top documents tagged [formulation of statements]

Conceptual Framework

---

417 views

1 Carnegie Mellon UniversitySPINFlavio Lerda SPIN An explicit state model checker.

---

219 views