我目前正在研究正式验证，我必须使用uppaal，这是我的新手。但如果我运行uppaal我会收到错误
java.io.IOException：服务器连接丢失
有没有办法解决它？我使用的是ubuntu 16.04和openjdk8
我看了下面的帖子
UPPAAL error - java.io.IOException: Server Connection Lost
但我仍然无法找出解决方案
在这方面，任何帮助都会受到赞赏！
答案 0 :(得分：1)
检查您是否使用与您的操作系统匹配的UPPAAL版本（即32位，64位）。
我收到此错误，问题是UPPAAL和操作系统架构不匹配。
答案 1 :(得分：0)
我遇到了同样的问题并通过安装 32位Virtualbox VM （ Ubuntu 16.04.1,32位）和 Java 6 解决了这个问题Oracle，请参阅here。
在虚拟机内部， UPPAAL 4.0.14 正常工作，服务器不会崩溃。