Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6587998 | Searching for counter-examples intelligently | — | 2003-07-01 |
| 6192505 | Method and system for reducing state space variables prior to symbolic model checking | Ilan Beer, Cindy Eisner | 2001-02-20 |