作者:韩英杰; 朱维军; 焦林枫; 刘洋; 周清雷模型检测线性时序逻辑dna计算粘贴自动机
摘要:突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式p Uq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检测的DNA算法.但是Xp无法用含有U算符的公式来表示,目前也没有关于Xp的DNA模型检测算法.提出Xp的基于DNA计算的模型检测算法,仿真实验结果表明其可行性和正确性,DNA计算框架下的LTL模型检测算法得到了扩充和完善,DNA计算已解决的问题库也进一步丰富了.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社