uppaal 安装；uppaal 环境；uppaal 运行环境配置；uppaal M1；

快捷下载和运行注意事项

 首先给大家道个歉，因为上传文件需要消耗作者流量，作者是个苦比学生，文章流量且用且珍惜，因此才用了能够免费满速下载的阿里云盘，请大家谅解。（如果有更好的分享方法求推荐🥺）<br />     作者提供的下载内容都是作者亲测可用的，都是正规的Windows和M1 Macbook电脑。<br />文末有官方下载安装链接。

1. Windows10 & Windows11

• UPPAAL Windows64-4.1.26版本下载，使用阿里云盘下载；
• JDK11 LTS下载，使用阿里云盘下载。
• 还可以在Windows Terminal使用winget install AdoptOpenJDK.OpenJDK.11命令安装JDK11. :::tips 注意

1. Windows用户安装完成后可能需要重启电脑才能使用UPPAAL；
2. Windows用户如果uppaal.exe文件打不开，那么就双击uppaal.jar打开即可。 :::

   2. MacOS Apple Silicon

• 这里提供UPPAAL MacOS64-4.1.26版本下载，使用阿里云盘下载；
• 这里提供MacOS JDK17 LTS下载，使用阿里云盘下载。（不确定是否为M1优化版，优化版本在文章末尾） :::tips 注意

1. 双击uppaal.jar如果打不开UPPAAL，那么就通过命令行执行sudo ./uppaal命令运行下图红框内的uppaal命令行程序（而不是uppaal.jar），等待大概10-20秒即可打开UPPAAL界面；

2. 如果提醒安全相关问题，比如“无法验证的开发者”等提示，请到系统设置Security & Privacy - General中解除防火墙限制。 :::

   M1优化版本JDK下载网站

3. UPPAAL软件中INSTALL.txt文件中推荐的JDK下载网站为：https://adoptium.net/。

4. azul官方下载网址：https://www.azul.com/downloads/，打开网页下滑即可选择相应版本，里面提供了各种平台和芯片的JDK，也有针对M1优化的JDK。具体能不能运行UPPAAL，作者没有尝试。如果可以运行，欢迎大家留言。

   官方下载

5. UPPAAL官方网站下载地址：https://uppaal.org/downloads/。

   • 注意：下载时需要填写某些信息，把带*的随便填即可。
6. UPPAAL需要JDK11-17才可以运行，因此还需要去 AdoptOpenJDK 下载11-17版本的JDK。推荐使用JDK11。