Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503633 | Symbolic execution of alternative branches | Dmitry Pidan | 2019-12-10 |
| 8656341 | BDD-based functional coverage analysis | Rachel Tzoref-Brill, Itai Segall | 2014-02-18 |
| 8595676 | BDD-based functional modeling | Rachel Tzoref-Brill, Itai Segall | 2013-11-26 |
| 8397192 | Proof based bounded model checking | Oded Fuhrmann, Alexander Ivrii | 2013-03-12 |
| 8352234 | Model generation based on a constraint and an initial model | Sharon Keidar Barner, Shiri Moran, Ziv Nevo, Sitvanit Ruah | 2013-01-08 |
| 8201116 | Proof based bounded model checking | Oded Fuhrmann, Alexander Ivrii | 2012-06-12 |
| 7725851 | Device, system and method for formal verification | Cynthia Rae Eisner, Sharon Keidar-Barner, Sitvanit Ruah, Ohad Shacham | 2010-05-25 |