Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8996339 | Incremental formal verification | Hana Chockler, Alexander Ivrii, Shiri Moran, Ziv Nevo | 2015-03-31 |
| 8996435 | Determining invariants in a model | Alexander Ivrii, Sharon Keidar-Barner | 2015-03-31 |
| 8909579 | Identifying invariant candidates based on proofs | Alexander Ivrii | 2014-12-09 |
| 8850372 | Method and system for performing invariant-guided abstraction of a logic design | Jason R. Baumgartner, Alexander Ivrii, Hari Mony | 2014-09-30 |
| 8825575 | Conjunctive normal form encoding of cardinality constraints | Yael Ben-Haim, Alexander Ivrii, Oded Margalit | 2014-09-02 |