内容包含Uppaal工具，及简单教程，注意必须提前安装好Java1.8及以上环境，运行uppaal.jar，即可运行Uppaal。时间自动机是一套对实时系统进行建模和验证的理论。这一理论是Alur和Dill的杰出工作成果。很多验证工具（例如Uppaal）就是基于时间自动机理论制作的。
2020-01-03 11:30:07
21.06MB
1
该资源是根据建模教程实现的一个简单的互斥进程的模型实例，已在模型检测工具uppaal上实现并进行了模型的性质验证。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2020-01-03 11:17:31
5.76MB
1
该资源是实现的一个四列火车调度的模型实例，已在模型检测工具uppaal4.0.14上实现并进行了模型的性质验证，资源中还包含实验的模型仿真和性质验证的截图（实验效果图）。uppaal是一个集成工具环境，它以扩展的时间自动机为建模语言，被用于对经过转换的时间自动机网络模型的实时系统进行建模、检验和验证。
2019-12-21 19:29:13
323KB
1