云南高校图书馆联盟文献共享服务平台- BÜCHI自动机

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于启发式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自动机