桂林电子科技大学学报2019，Vol.39Issue(5)：374-378,5.
基于Büchi自动机化简的JavaMOP监控器构造方法
The overhead control on monitor of JavaMOP based on Büchi automata simplification
摘要
关键词
运行时验证/JavaMOP/监控器/线性时态逻辑/Büchi自动机分类
信息技术与安全科学引用本文复制引用
叶玲玲,钱俊彦,查显伟..基于Büchi自动机化简的JavaMOP监控器构造方法[J].桂林电子科技大学学报,2019,39(5):374-378,5.基金项目
国家自然科学基金(61562015) （61562015）
广西自然科学基金(2018GXNSFDA138003) （2018GXNSFDA138003）
桂林电子科技大学研究生教育创新计划(2017YJCX51) （2017YJCX51）
