四列火车的uppaal模型的实现实例和性质验证

uppaal是由瑞典Uppsala大学的信息技术学院和丹麦Aalborg大学计算科学学院联合开发的一个集成工具环境,被用来对转换时间自动机网络模型的实时系统进行建模、仿真和验证。与其他模型检测工具相比,uppaal有很好的高效性和实用性。时间自动机是一个有时钟变量扩展的有限状态机,它使用时间变量评估为实数的密集时间模型,所有时钟同步进行。在uppaal中,一个系统被模拟成一个并行的几个这样的时间自
相关文章
相关标签/搜索