Pusteblume2018

摘要： UPPAAL是使用较多的基于时间自动机的验证工具。它是由丹麦Aalborg大学和瑞士Uppsala大学联合开发的对实时系统模拟和验证的工具。时间自动机是对自动机理论的扩展，提供了形式化的方法来建立和分析实时系统的行为，在模型检测方面有着重要的应用。时间自动机为实时系统的自动化分析和验证提供了一种形式 阅读全文

摘要： 本文原题是《Timed Automata Semantics, Algorithms and Tools》，本人硕士毕业设计与此相关，研究了好久，现在自行翻译出来。转载请注明版权。 时间自动机：语义，算法和工具 Johan Bengtsson和Wang Yi Uppsala大学 Email：{joh 阅读全文