0
我目前正在研究正式驗證，我必須使用uppaal，這是我的新功能。但是，如果我運行UPPAAL我得到一個錯誤Uppaal錯誤：java.io.IOException：服務器連接丟失
產生java.io.IOException：服務器連接丟失
有沒有什麼辦法解決？我使用Ubuntu 16.04和openjdk8
我看了以下後
UPPAAL error - java.io.IOException: Server Connection Lost
，但我仍無法找出解決方案
任何幫助會在這方面的理解！
該消息是引擎服務器崩潰的症狀。你正在使用哪個版本？你到底在做什麼？也許你的模型有些特別？推薦使用Oracle JDK而不是OpenJDK，但這不是問題。 – mariusm