云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=模态μ-演算 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

基于Game理论的μ-演算公理化: 《计算机研究与发展》2007年第11期1896-1902,共7页刘万伟王戟陈火旺; 国家"九七三"重点基础研究发展规划基金项目(2005CB321802);国家自然科学基金项目(90612009;60621003);国家"八六三"高技术研究发展计划基金项目(2006AA01Z429);新世纪优秀人才支持计划基金项目(NCET-04-0996)~~; 随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛...; 关键词：时序逻辑模态μ-演算 Game理论可满足性公理系统

全选清除导出

共1页<1>