刘姣
- 作品数：2 被引量：0H指数：0
- 供职机构：陕西师范大学计算机科学学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
- 2015年
- 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。
- 刘姣雷丽晖
- 关键词：三值逻辑
- 一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
- 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点.针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,...
- 刘姣雷丽晖
- 关键词：信息处理三值逻辑
- 文献传递
