Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6311293 | Detecting of model errors through simplification of model via state reachability analysis | Robert P. Kurshan | 2001-10-30 |
| 5946481 | Method for detecting errors in models through restriction | Robert P. Kurshan | 1999-08-31 |
| 5901073 | Method for detecting errors in models through restriction | Robert P. Kurshan | 1999-05-04 |