3

我目前正在研究形式验证，我必须使用 uppaal，这是我的新手。但是如果我运行 uppaal 我得到一个错误

java.io.IOException：服务器连接丢失

有什么办法可以解决吗？我正在使用 ubuntu 16.04 和 openjdk8

我正在查看以下帖子

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

但我仍然无法找出解决方案

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

4

2 回答 2

2

检查您是否使用与您的操作系统匹配的 UPPAAL 版本（即 32 位、64 位）。

我收到了这个错误，问题是 UPPAAL 和操作系统架构不匹配。

于 2018-03-13T06:41:32.893 回答
0

我遇到了同样的问题，并通过安装 Oracle 的32 位 Virtualbox VM（Ubuntu 16.04.1、32 位）和Java 6解决了这个问题，请参见此处。

在虚拟机内部，UPPAAL 4.0.14正常工作，服务器没有崩溃。

于 2016-10-27T15:38:36.853 回答