搜索结果: 1-2 共查到“计算机科学技术 计算树逻辑”相关记录2条 . 查询时间(0.153 秒)
计算树逻辑特性模式研究
计算树逻辑 特性模式 模型检查
2009/11/30
模型检查是系统验证的有效方法，在验证过程中需要对系统待检验特性用时态逻辑公式进行刻画，然后在模型检查工具中进行检验。介绍计算树逻辑的语法及语义，根据计算树逻辑中特性模式的划分及作用范围给出计算树逻辑常见的特性模式，包括缺失性模式、存在性模式、普遍性模式、优先性模式和跟随性模式等。