Issued Patents 2011
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |