温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开一种基于Büchi自动机化简运行时验证监控器的方法，首先将LTL公式描述的属性转化为Büchi自动机；接着对Büchi自动机的状态进行冗余标记和移除；之后在Büchi自动机中寻找互相满足公平模拟关系的状态对，并对状态对进行合并；最...
该专利属于桂林电子科技大学所有，仅供学习研究参考，未经过桂林电子科技大学授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。