模态转移系统的三值逻辑模型检验

作     者：郭建 韩俊刚 Guo Jian;Han Jungang

作者机构：西安电子科技大学微电子学院西安710071 西安邮电学院计算机科学系西安710061 

基　　金：国家自然科学基金(90207015) 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2006年第18卷第6期

页      码：881-884页

摘      要：分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·

主 题 词：三值逻辑 模型检验 模态转移系统 不完全Kripke结构 

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2006.06.022

馆 藏 号：203987131...