Patents per Year
Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 8489380 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Ishai Rabinovotz, Ohad Shacham, Rachel Tzoref | 2013-07-16 | $5,283,000 |
| 8108195 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref | 2012-01-31 | $4,013,000 |
| 7835898 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Mark Ginzburg, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref | 2010-11-16 | $4,384,000 |