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