0

我在 Mac OS 10.14 上下载并安装了 uppaal 4.1.22。我安装了 Java 8。

打开 uppaal.jar 时，会弹出一个窗口，显示“服务器退出并出现错误 126。检查操作系统。” 关闭窗口后，我无法运行模拟器或验证程序。事实上，当我选择模拟器或验证器时，会弹出相同的窗口。

我该如何解决这个问题？

4

0 回答 0