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

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

检索结果分析

选择条件：

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于Büchi自动机化简的JavaMOP监控器构造方法被引量：1: 《桂林电子科技大学学报》2019年第5期374-378,共5页叶玲玲钱俊彦查显伟; 国家自然科学基金(61562015);广西自然科学基金(2018GXNSFDA138003);桂林电子科技大学研究生教育创新计划(2017YJCX51); 为了提高JavaMOP对程序运行时验证的效率,提出一种基于Büchi自动机化简的JavaMOP监控器构造方法,降低JavaMOP运行时验证的时间和内存开销。该方法将线性时态逻辑(linear temporal logic,简称LTL)描述的属性规范转化为Büchi自动机,利...; 关键词：运行时验证 JavaMOP 监控器线性时态逻辑 BÜCHI自动机