官网下载地址
https://uppaal.org/
不能下载的可以在小菜的博客下载uppaal-4.1.24.zip
选择DOWNLOAD
下载适合自己电脑的版本
到这个下载页面后填一下个人信息（带星号的），点击Register&Download
开始下载。这个下载有点慢啊…
不能下载的可以在小菜的博客下载uppaal-4.1.24.zip
下载完了之后解压
提示要安装JRE
我们按照这篇大佬的博客来安装。JDK与JRE的安装与配置
我也写了一篇专门适用于这个版本的JDK、JRE安装教程，欢迎大家捧场小菜https://blog.csdn.net/qq_43511299/article/details/114450530
好了，我们再回到uppaal的安装，双击uppaal.exe
安装完毕，一起愉快的使用吧！