搜索结果: 1-4 共查到“计算机工程 模型检测”相关记录4条 . 查询时间(1.629 秒)
基于模型检测的领域约束规划
2007/11/2
AbstractThe MIPS (model checking integrated planning system) has shown distinguished performance in the second and the third international planning competitions. In this paper, a declarative approach ...
多智体系统时态认知规范的模型检测算法
2007/11/2
AbstractModel checking has being used mainly to check if a system satisfies the specifications expressed in temporal logic and people pay little attention to the model checking problem for logics of k...
有界模型检测同步多智体系统的时态认知逻辑
认知逻辑
2007/11/2
Luo XY, Su KL, Yang JJ. Bounded model checking for temporal epistemic logic in synchronous multi-Agent
systems. Journal of Software, 2006,17(12):2485-2498.DOI:
10.1360/jos172485 http://www.jos.org...
符号化模型检测CTL*
模型检测 时态逻辑 有序二值判定图(OBDD)
2007/11/1
提出了一个关于时态逻辑CTL*的符号化模型检测算法.该算法通过所谓的tableau构造方法来判定一个有限状态系统是否满足CTL*规范.根据该理论,作者已实现了一个基于OBDD技术的CTL*符号化模型检测工具MCTK,并完成了相当数量的实验.到目前为止,已知有名的符号化模型检测工具,如SMV和NuSMV等,都只能对CTL*的子集逻辑(如CTL,LTL)进行检测，而文中算法的结果是令人满意的,并且当规...