Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| D504399 | Power supply | George Recareana | 2005-04-26 |
| 6526544 | Directly verifying a black box system | Moshe Vardi, Mihalis Yannakakis | 2003-02-25 |
| 6408430 | Interactive software testing system and method | Elsa L. Gunter | 2002-06-18 |
| 6346879 | Verification of message sequence charts | — | 2002-02-12 |
| 6295515 | Static partial order reduction | Robert P. Kurshan, Vladimir Evgenevich Levin, Marius Minea, Husnu Yenigun | 2001-09-25 |
| 6209120 | Verifying hardware in its software context and vice-versa | Robert P. Kurshan, Vladimir Evgenevich Levin, Marius Minea, Husnu Yenigun | 2001-03-27 |
| 5812145 | Message sequence chart analyzer | Gerard J. Holzmann | 1998-09-22 |
| 5615137 | On-the-fly model checking with partial-order state space reduction | Gerard J. Holzmann | 1997-03-25 |