ERA-PAT公司 swMATH ID: 13259 软件作者： 林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 描述： 定时系统的自动成分验证。实时系统的规范和验证是具有重要应用的重要研究课题；然而，所谓的状态空间爆炸问题常常阻碍了模型检查在大型系统中的实际应用。在这项工作中，我们提出了一个独立的工具包，用于分析使用事件记录自动机（ERA）指定的实时系统，该工具包支持基于学习技术的系统建模、动画模拟和全自动合成验证。实验结果表明，我们的工具优于最先进的定时模型检查器。 主页： https://sites.google.com/site/shangweilin/era-pat 依赖项： 拍打 相关软件： 拍打；项目B；PDDL公司；NuSMV公司；自旋蛋白；Uppaal公司 引用于： 2文件 标准条款 1出版物描述软件 年份 定时系统的自动组成验证林尚伟；刘，杨；孙军；董金松；埃蒂安·安德烈 2012 全部的 前5名7位作者引用 2 李毅 2 刘，杨 1 董金松 1 林尚伟 1 孙静 1 孙骏 1 佩琳娜·托尔马赫 连载1篇 1 系统设计中的形式化方法 在3个字段中引用 1 计算机科学（68至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文