Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9389984 | Directing verification towards bug-prone portions | Oded Margalit, Dmitry Pidan, Sitvanit Ruah | 2016-07-12 |
| 8996339 | Incremental formal verification | Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo | 2015-03-31 |
| 8903700 | Concretization of abstracted traces | Sharon Keidar-Barner | 2014-12-02 |
| 8856755 | Dominant-state-based coverage metric | Dmitry Pidan, Sitvanit Ruah, Karen Frida Yorav | 2014-10-07 |
| 8639490 | Concretization of abstracted traces | Sharon Keidar-Barner | 2014-01-28 |
| 8448147 | Heterogenic Coverage Analysis | Orna Raz, Eitan Farchi, Yochai Ben-Chaim, Lawrence Carter Blount, Aviad Zlotnick | 2013-05-21 |
| 8327334 | Replay of program executions using cross-entropy | Eitan Farchi, Benyamin Godlin | 2012-12-04 |
| 8056059 | Using cross-entropy to test executable logic code | Eitan Farchi, Benyamin Godlin, Sergey Novikov | 2011-11-08 |
| 7921411 | Model checking of non-terminating software programs | Ziv Glazberg, Benyamin Godlin, Sharon Keidar-Barner | 2011-04-05 |
| 7853932 | System, method and computer program product for checking a software entity | Eitan Farchi, Ziv Glazberg, Benyamin Godlin | 2010-12-14 |