我正在学习有关形式验证的知识，并且应该使用我是新来的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
在这方面任何帮助将不胜感激！
最佳答案
我在Windows 10上遇到了同样的问题，我认为@mariusm是正确的。我下载了更高版本的UPPAAL（即4.1.19），问题不再存在。