测控技术中含有"X"值的验证

摘要：

利用模型检验技术来验证具有"X" (未知)值的属性.给出了三值(真、假、未知)逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.

关键词：三值逻辑、不完全的Kripke结构、模型检验

所属期刊栏目：20

分类号：TP301(计算技术、计算机技术)

在线出版日期：2006-11-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：603-606