Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8627273 | Model checking of liveness property in a phase abstracted model | Jason R. Baumgartner, Ziv Nevo, Paul Joseph Roessler | 2014-01-07 |
| 8554522 | Detection of design redundancy | Ziv Nevo | 2013-10-08 |
| 8417507 | Formal verification of models using concurrent model-reduction and model-checking | Eli Arbel, Ziv Nevo, Michael Shamis | 2013-04-09 |
| 8244516 | Formal verification of models using concurrent model-reduction and model-checking | Eli Arbel, Ziv Nevo, Michael Shamis | 2012-08-14 |