UPPAAL错误- java.io.IOException:服务器连接丢失

Question

我正在学习有关正式验证的知识，我应该使用我第一次接触的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

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

Answer 1

我在windows10上也遇到了同样的问题，我认为@mariusm是对的。我下载了UPPAAL的最新版本(即4.1.19)，问题已经消失了。