Issued Patents 2011
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7921411 | Model checking of non-terminating software programs | Hana Chockler, Ziv Glazberg, Benyamin Godlin | 2011-04-05 |
SK
Sharon Keidar-Barner
Overall (2011): #167,591 of 364,097Top 50%
1
Patents 2011