Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7047510 | Method and system for partitioning an integrated circuit design | Manu Chopra, Xiaoqun Du, Alok Jain, Robert P. Kurshan, Pratik Mahajan +2 more | 2006-05-16 |
| 6185516 | Automata-theoretic verification of systems | Robert P. Kurshan | 2001-02-06 |
| 6102959 | Verification tool computation reduction | Robert P. Kurshan | 2000-08-15 |
| 6099575 | Constraint validity checking | Robert P. Kurshan | 2000-08-08 |
| 5926622 | Efficient regression verification | Robert P. Kurshan | 1999-07-20 |
| 5740084 | Verification of homomorphism between two system models | Robert P. Kurshan | 1998-04-14 |
| 5691925 | Deriving tractable sub-system for model of larger system | Robert P. Kurshan | 1997-11-25 |