UPPAAL 錯誤 - java.io.IOException: 服務器連接丟失

Question

我正在學習 Formal Verification，我應該使用我不熟悉的 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

在這方面的任何幫助將不勝感激！

Answer 1

我在 Windows 10 上遇到了同樣的問題，我認為 @mariusm 是對的。 我下載了更高版本的 UPPAAL（即 4.1.19），問題消失了。