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

Question

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

environment=LANG="%(locale)s",LC_ALL="%(locale)s",LC_LANG="%(locale)s"

有没有办法解决这个错误？我在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

我在Windows 10上遇到了同样的问题，我认为@mariusm是正确的。我下载了更高版本的UPPAAL（即4.1.19），问题不再存在。