4

我正在学习形式验证，我应该使用我不熟悉的 UPPAAL。但是，每次我启动 UPPAAL 时，都会遇到以下错误：

 java.io.IOException: Server Connection Lost

有没有办法解决这个错误？我在 64 位机器上使用 Ubuntu 12.04 作为我的操作系统。我查看了以下帖子，但由于我是 UPPAAL 的新手，所以我无法找出解决方案：

http://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=319

http://www.uppaal.com/index.php?sida=201&rubrik=95

http://forums.globalscape.com/Topic29575.aspx

https://groups.yahoo.com/neo/groups/uppaal/conversations/topics/2587

在这方面的任何帮助将不胜感激！

4

1 回答 1

0

我在 Windows 10 上遇到了同样的问题，我认为 @mariusm 是对的。我下载了 UPPAAL 的更高版本（即 4.1.19），问题就消失了。

于 2019-12-03T11:51:17.433 回答