BÜCHI自动机

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

检索结果分析

结果分析中...
选择条件：
  • 基金=国家科技支撑计划x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于惰性切片的线性时态逻辑性质验证被引量：1
《吉林大学学报（工学版）》2015年第1期245-251,共7页黄宏涛 王静 叶海智 黄少滨 
国家科技支撑计划项目(2012BAH08B02);河南省科技攻关计划项目(082400420250;112300410008);河南省教育厅科学技术研究重点项目(13A520508);河南师范大学博士科研启动基金项目(qd12107);河南师范大学青年科学基金项目(2013qk33)
惰性切片是一种有效的状态空间缩减方法,但是它无法直接判定一个模型是否满足所期望的线性时间性质。针对该问题,提出了一种基于惰性切片的线性时态逻辑公式验证方法。该方法首先构造给定线性时态逻辑公式的否定Büchi自动机与系统模型...
关键词：计算机软件 模型检测 惰性切片 线性时态逻辑 BÜCHI自动机 乘积自动机 
基于启发式NDFS的模型检测新算法被引量：1
《小型微型计算机系统》2012年第8期1740-1746,共7页王曦 徐中伟 
国家科技支撑计划重大项目(2009BAG11B00;2011BAG01B03)资助;国家自然科学基金项目(60674004;61075002)资助
以带有多个可接受条件的广义Büchi自动机为研究对象,提出基于启发式NDFS的模型检测新算法.该算法结合on-the-fly算法与启发式NDFS算法,能较快地判断出广义Büchi自动机非空性,通过理论证明和实验验证了算法的正确性和可行性.与已有算...
关键词：模型检测 启发式NDFS 安全性验证 on-the-fly算法 BÜCHI自动机 
基于启发式SCCs的广义Büchi自动机判空检测算法被引量：1
《电子学报》2012年第1期95-102,共8页王曦 徐中伟 
国家科技支撑计划重大项目(No.2009BAG11B00;No.2011BAG01B03);国家自然科学基金(No.60674004;No.61075002)
基于自动机理论模型检测的一个关键算法是判断有穷状态系统是否满足属性的判空检测.对标准Büchi自动机作判空检测,容易引起状态爆炸.本文以TGBA为研究对象,提出基于启发式SCCs的广义Büchi自动机判空检测算法.该算法在on-the-fly算法...
关键词：模型检测 BÜCHI自动机 on-the-fly算法 判空检测 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部