Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9389984 | Directing verification towards bug-prone portions | Hana Chockler, Oded Margalit, Dmitry Pidan | 2016-07-12 |
| 9043746 | Conducting verification in event processing applications using formal methods | Ella Rabinovich, Sivan Rabinovich | 2015-05-26 |
| 8856755 | Dominant-state-based coverage metric | Hana Chockler, Dmitry Pidan, Karen Frida Yorav | 2014-10-07 |
| 8352234 | Model generation based on a constraint and an initial model | Sharon Keidar Barner, Shiri Moran, Ziv Nevo, Tatyana Veksler | 2013-01-08 |
| 8219376 | Verification using directives having local variables | Dmitry Pidan | 2012-07-10 |
| 7725851 | Device, system and method for formal verification | Cynthia Rae Eisner, Sharon Keidar-Barner, Ohad Shacham, Tatyana Veksler | 2010-05-25 |