| 10021026 |
Incremental update of a shape graph |
Zhiyong Shen, QunYang Lin, Junqing Xie, Peng Xie, Yong Tang +2 more |
2018-07-10 |
| 6804634 |
Automatic generation and regeneration of a covering test case set from a model |
Gerard J. Holzmann, Margaret H. Holzmann, James J. Striegel |
2004-10-12 |
| 6681264 |
Implied message sequence charts |
Rajeev Alur, Kousha Etessami |
2004-01-20 |
| 6526544 |
Directly verifying a black box system |
Doron A. Peled, Moshe Vardi |
2003-02-25 |
| 6516306 |
Model checking of message flow diagrams |
Rajeev Alur |
2003-02-04 |
| 6324496 |
Model checking of hierarchical state machines |
Rajeev Alur |
2001-11-27 |
| 6061812 |
Methods and apparatus for generating passive testers from properties |
Gerard J. Holzmann |
2000-05-09 |
| 5483470 |
Timing verification by successive approximation |
Rajeev Alur, Alon Itai, Robert P. Kurshan |
1996-01-09 |