Issued Patents All Time
Showing 1–2 of 2 patents
| 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 |