BÜCHI自动机

作品数：27被引量：46H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李永明易锦徐中伟田聪段振华更多>>
相关机构：桂林电子科技大学陕西师范大学西安电子科技大学中国科学院软件研究所更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机与现代化》《计算机应用与软件》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点基础研究发展计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于LTL Tableau的自动机构造
《吉林大学学报（工学版）》2007年第1期132-135,共4页刘万伟 王戟 陈火旺 
'973'国家重点基础研究计划项目(2005CB321802);国家自然科学基金重点资助项目(60233020);'863'国家高技术研究发展计划项目(005AA113130);教育部新世纪优秀人才支持计划项目(NCET-04-0996)
基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi...
关键词：计算机软件 模型检验 LTL TABLEAU Co—Büchi自动机 
从基于迁移的扩展Büchi自动机到Büchi自动机被引量：7
《软件学报》2006年第4期720-728,共9页易锦 张文辉 
国家自然科学基金;国家重点基础研究发展规划(973)~~
目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(lineartemporallogic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受...
关键词：模型检测 Büehi自动机 LTL 公式 TGBA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部