云南高校图书馆联盟文献共享服务平台- 梁爱丽

梁爱丽: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：北京大学信息科学技术学院软件研究所更多>>; 发文主题：CTL时段演算KRIPKE结构NP完全问题逻辑运算符更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机研究与发展》更多>>; 所获基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

一种新的时段演算及其验证被引量：1: 《计算机研究与发展》2008年第z1期169-174,共6页梁爱丽朱嘉奇王捍贫屈婉玲; 国家"九七三"重点基础研究发展规划基金项目(2002CB312004);国家"八六三"高技术研究发展计划基金项目(2006AA01Z160); 在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法....; 关键词：模型检测 CTL* QDDC NP-完全