The top documents tagged [reachable state setifremove]

Abstraction, Decomposition, Relevance Coming to Grips with Complexity in Verification

---

35 views

Software Model Checking with SMT

---

75 views