The top documents tagged [saved invariants]

Incremental formal verification of hardware Hana Chockler Alexander Ivrii Arie Matsliah Shiri Moran Ziv Nevo IBM Research - Haifa.

---

219 views

Incremental formal verification of hardware

---

56 views