-
公开(公告)号：CN109522713A
公开(公告)日：2019-03-26
申请号：CN201811359544.1
申请日：2018-11-15
Applicant: 桂林电子科技大学
Abstract: 本发明公开一种基于Büchi自动机化简运行时验证监控器的方法，首先将LTL公式描述的属性转化为Büchi自动机；接着对Büchi自动机的状态进行冗余标记和移除；之后在Büchi自动机中寻找互相满足公平模拟关系的状态对，并对状态对进行合并；最后将化简后的Büchi自动机转化成确定性有限状态自动机，得到用于验证的监控器。本发明能够加速Büchi自动机到确定性有限状态自动机的转换，同时使JavaMop工具进行验证时的内存开销得到减少。
Search Results
1
records
(took 0.015 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
