Issued Patents All Time
Showing 1–1 of 1 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7120568 | Identification of missing properties in model checking | Daniel Geist, Sagi Katz | 2006-10-10 |
OG
Orna Grumberg
Overall (All Time): #3,430,941 of 4,157,543Top 85%
1
Patents All Time