排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
时间自动机与自动验证 总被引:1,自引:0,他引:1
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法,简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构算法的时间复杂度。 相似文献
2.
时间自动机与自动验证 总被引:1,自引:1,他引:0
给出时间自动机的基本概念,描述了区域自动机的构造方法,并且实现了区域自动机的构造算法.简述了通过时间自动机进行自动验证的过程,最后分析了区域自动机构造算法的时间复杂度. 相似文献
1