UPPAAL工具+运行环境（jre1.8）

【文件属性】：

文件名称：UPPAAL工具+运行环境（jre1.8）

文件大小：108.18MB

文件格式：ZIP

更新时间：2022-07-04 20:49:18

形式化分析 系统仿真

Uppaal是一个集成工具环境，用于对实时系统建模、验证和验证，该系统被建模为定时自动机网络，并扩展了数据类型（有界整数、数组等）。 该工具由瑞典乌普萨拉大学信息技术系和丹麦奥尔堡大学计算机科学系合作开发。

【文件预览】：
jre-8u333-windows-x64.exe
uppaal-4.1.24.zip