Я установил Uppaal 4.1.23 в Mac OS 10.15, но получаю ошибку. Что мне делать?
Я хочу научиться использовать UPPAAL, но когда я его открываю, он говорит «Соединение с сервером...
Как записать некоторые данные в файл в виде журнала или статистику в Uppaal?Есть ли какая-нибудь...
У меня есть следующая структура: const int MAX = 6; typedef struct { int num1; int arr1[MAX]; int...
Согласно http://www.it.uu.se/research/group/darts/uppaal/small_tutorial.pdf Нет значения,...
Я пытаюсь использовать механизм синхронизации, подобный CSP, и я не понимаю, почему начальное...
Я надеюсь, что кто-то здесь может дать мне ваш совет или знания. Я уже читал о примере...
У меня есть три автомата (см. Ниже), одно глобальное объявление urgent chan u; и системное...
Как развиваются часы Уппала?У меня есть два местоположения 1 и 2 без инварианта, часы сбрасываются...
Я пытаюсь запросить более крупную систему с помощью UPPAAL SMC, и в результате появляется сообщение...
У меня система с 5 процессами.Один из процессов отправляет сигнал1!на 3 процесса (то есть 3...
Я новичок в Уппале.У меня есть система, состоящая из разных моделей.У меня также есть часы и...
Я пытаюсь смоделировать систему банкомата в Уппале, и я хочу использовать массив json, например,...
Итак, я пытаюсь выполнить очень простую проверку моей модели, однако я получаю сообщение о том, что...
Я борюсь с простой проверкой.У меня есть автоматы и значение х, как это: автоматы2 Когда х в начале...
Как можно привести двойное значение к целочисленному значению в uppaal? double rand; rand =...
Я пытаюсь вернуть целочисленный массив в функцию UPPAAL.Какой правильный синтаксис для этого? Этот...
Я проверяю очень маленькую модель.Но я получаю сообщение об исчерпании памяти.Я менял модель...
Я создал эту спецификацию UPPAAL: https://pastebin.com/v4AkYUuy Но при выполнении запроса: simulate...
Я использую пример Train Gate и хочу запустить свойство проверки Pr [ Поезд (1). Безопасно {x> = 3,...
Я использую Uppaal для проверки системы. Симуляция работает отлично, но когда я проверяю это...
Я использую UPPAAL 4.1.19, и я следую обучающему обучению, указанному в this . В шаблоне Train я...
Какая возможная связь между состояниями и используемой памятью при проверке модели. Можем ли мы...
Я создал какой-то автомат в инструменте проверки моделей UPPAAL, и между ними есть диалог. когда в...