Я настроил модель с помощью UPPAAL и использовал верификатор для проверки взаимоблокировки. Ответ: Имущество не устраивает. Таким образом, существует тупик. Есть ли способ в UPPAAL сообщить более подробную информацию о взаимоблокировке, такую...

Я борюсь с простой проверкой. У меня есть автоматы и значение x следующим образом: automata2 Когда x в начале отличен от 0, выполняется E‹> x !=0, но когда x = 0, то оно не выполняется, и выполняются E‹> x == 0 и A‹> x == 0. Но я хотел бы...

Как записать какие-то данные в файл в виде лога или какую-то статистику в Uppaal? Есть ли какая-то функция fprintf или какая-то FILE* , такая как у нас в C , или нет? Тот же вопрос и по чтению из файла.

Я пытаюсь установить Uppaal на свой Mac. У меня установлена ​​Catalina, и я знаю об обходном пути, размещенном здесь для авторизации, и сделал это. Но когда я запускаю сценарий Uppaal, я получаю сообщение об ошибке Ошибка: невозможно...