Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6804634 | Automatic generation and regeneration of a covering test case set from a model | Margaret H. Holzmann, James J. Striegel, Mihalis Yannakakis | 2004-10-12 |
| 6353896 | Method and apparatus for testing event driven software | Kenneth Lane Thompson, Philip Winterbottom | 2002-03-05 |
| 6061812 | Methods and apparatus for generating passive testers from properties | Mihalis Yannakakis | 2000-05-09 |
| 5826017 | Apparatus and method for communicating data between elements of a distributed system using a general protocol | — | 1998-10-20 |
| 5812145 | Message sequence chart analyzer | Doron A. Peled | 1998-09-22 |
| 5615137 | On-the-fly model checking with partial-order state space reduction | Doron A. Peled | 1997-03-25 |
| 5559904 | Method and apparatus for deriving image width and height from raw graphical image data | — | 1996-09-24 |
| 5129013 | Graphics image editor | Robert Pike | 1992-07-07 |