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