Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6295515 | Static partial order reduction | Robert P. Kurshan, Vladimir Evgenevich Levin, Marius Minea, Doron A. Peled | 2001-09-25 |
| 6209120 | Verifying hardware in its software context and vice-versa | Robert P. Kurshan, Vladimir Evgenevich Levin, Marius Minea, Doron A. Peled | 2001-03-27 |