| 发明名称 | 使用一个或多个自动机的系统验证 | ||
| 摘要 | 使用一个或多个自动机的系统验证。这里公开了一种方法和装置，该方法和装置用于操纵非确定自动器和非确定自动器的遍历，用于待测试设备的动态验证。 | ||
| 申请公布号 | CN101694643B | 申请公布日期 | 2012.10.10 |
| 申请号 | CN200910168346.1 | 申请日期 | 2004.09.30 |
| 申请人 | 明导公司 | 发明人 | 素提叻·达特拉姆·凯德凯迪;小克利夫顿·阿尔顿·莱昂斯 |
| 分类号 | G06F13/16(2006.01)I;G06F13/18(2006.01)I | 主分类号 | G06F13/16(2006.01)I |
| 代理机构 | 中原信达知识产权代理有限责任公司 11219 | 代理人 | 张焕生;谢丽娜 |
| 主权项 | 一种用于动态验证的方法，包括：在一个或多个计算设备上用第一计算机任务处理非确定自动器，作为待测试设备动态验证的部分；在所述处理期间，执行用于规定同步条件的同步命令；响应所述执行，挂起所述第一计算机任务；以及在出现所述同步条件之后，恢复所述第一计算机任务和所述非确定自动器的所述处理。 | ||
| 地址 | 美国俄勒冈州 | ||