10.3969/j.issn.1000-3428.2010.17.021
基于SAT工具的限界模型检测归约方法
限界模型检测主要对路径上的属性进行检测,基于此给出一种编码方法,将LTL公式在路径上展开,从而将限界模型检测转换为命题逻辑的可满足性问题,使用SAT求解工具来完成模型检测过程.阐述归约过程的正确性与完全性,通过一个具体例子证明了该方法的有效性.
模型检测、形式化验证、归约
36
TP311(计算技术、计算机技术)
2010-10-29(万方平台首次上网日期,不代表论文的发表时间)
共3页
60-62