【UPPAAL】uppaal安装|含问题解决

参考与注意事项

官方github

许多问题可以在官方issue里找到解答：
https://github.com/orgs/UPPAALModelChecker/discussions/234

民间参考

https://geekdaxue.co/read/jack0chan@code/ksgqcc
https://blog.csdn.net/qq_43511299/article/details/114444179

注意：学术版免费使用，需要教学邮箱获取验证码。

官网下载地址

https://uppaal.org/downloads/

上图是官方下载的地址，箭头是我的选择，我下载的是需要自己配置java环境的安装包，下面的箭头是获取许可证key的链接。

配置jdk环境

根据该网页下面的官方教程：

Uppaal graphical user interface requires Java version ≥17 installed.
We recommend Open JDK: Windows: download and install Open JDK from
Adoptium. During installation select JavaSoft (Oracle) registry keys:
Otherwise uppaal.exe may not find Java and fail with This application requires a Java Runtime Environment 11.0-21.0, even though Java is already installed.

也就是你本地已经有jdk11-21了，但是仍有可能出现 需要java运行环境 的提示。官方给出可以去https://adoptium.net/下载，但是这个网站我怎么点都没有反应，给出另一个下载的地方：
https://www.injdk.cn/，选择openjdk即可。
在安装jdk时，注意按照教程，勾选该项：

问题解决Server exited with error 3. Check whether OS is supported.

我在安装4.1版本出现了该问题，换成安装5.0版本就解决了。
对于4版本，作者写了一些附加的工具来解决，参看：
https://github.com/orgs/UPPAALModelChecker/discussions/274

激活许可证时出现"missing device"问题

该问题在官方GitHub的issue里已被解决：https://github.com/orgs/UPPAALModelChecker/discussions/234
重新下载 version 5.1.0-beta4即可。各个历史版本可见：https://uppaal.org/downloads/other/