内容包含Uppaal工具,及简单教程,注意必须提前安装好Java1.8及以上环境,运行uppaal.jar,即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具(例如Uppaal)就是基于时间自动机理论制作的。