Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8489380 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Yoad Lustig, Ishai Rabinovotz, Ohad Shacham, Rachel Tzoref | 2013-07-16 |
| 8108195 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref | 2012-01-31 |
| 7835898 | Satisfiability (SAT) based bounded model checkers | Daniel Geist, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref | 2010-11-16 |