Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8327334 | Replay of program executions using cross-entropy | Hana Chockler, Eitan Farchi | 2012-12-04 |
| 8056059 | Using cross-entropy to test executable logic code | Hana Chockler, Eitan Farchi, Sergey Novikov | 2011-11-08 |
| 7921411 | Model checking of non-terminating software programs | Hana Chockler, Ziv Glazberg, Sharon Keidar-Barner | 2011-04-05 |
| 7853932 | System, method and computer program product for checking a software entity | Hana Chockler, Eitan Farchi, Ziv Glazberg | 2010-12-14 |