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