0
Ich studiere gerade über formale Überprüfung und ich muss uppaal verwenden, die ich bin neu bin. Aber wenn ich laufe Uppaal ich habe einen FehlerUppaal-Fehler: java.io.IOException: Server-Verbindung verloren
java.io.IOException: Server-Verbindung
verloren
ist es eine Möglichkeit, es zu beheben? Ich bin mit Ubuntu 16.04 und openjdk8
Ich sehe auf dem folgenden Beitrag
UPPAAL error - java.io.IOException: Server Connection Lost
, aber ich immer noch nicht in der Lage, die Lösung
Jede Hilfe in dieser Hinsicht würde geschätzt, um herauszufinden!
Diese Nachricht ist ein Symptom für einen Motorserverabsturz. Welche Version verwendest du? Was machst du genau? vielleicht etwas besonderes mit Ihrem Modell? Oracle JDK wird gegenüber OpenJDK empfohlen, aber das ist hier kein Problem. – mariusm