我目前正在研究正式验证，因此必须使用uppaal，这是我的新手。但是，如果我运行uppaal，我会得到一个错误
有什么办法可以解决？我正在使用Ubuntu 16.04和OpenJDK8
我在以下帖子上看过
UPPAAL error - java.io.IOException: Server Connection Lost
但我仍然无法找出解决方案
在这方面任何帮助将不胜感激!
最佳答案
检查您使用的是与您的操作系统匹配的UPPAAL版本(即32位，64位)。
我收到此错误，问题是UPPAAL与OS体系结构之间不匹配。