Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7155374 | Generation of partial traces in model checking | — | 2006-12-26 |
| 7146301 | Efficient production of disjoint multiple traces | Anna Gringauze | 2006-12-05 |
| 6691078 | Target design model behavior explorer | Ilan Beer, Eli Dichterman, Leonid Gluhovsky, Anna Gringauze, Yossi Malka +1 more | 2004-02-10 |
| 6665848 | Time-memory tradeoff control in counterexample production | Leonid Glukhovsky | 2003-12-16 |