В настоящее время я использую UPPAAL v.4.1.19 и видел в справке, что часы могут быть заданы как параметры функции. Однако я не смог найти никакой информации о том, какие методы или атрибуты, например. для часов доступны нижняя и верхняя границы...

Я использую Uppaal для проверки системы. Моделирование работает отлично, но когда я проверяю это свойство A[] not deadlock , оно дает мне следующую ошибку: _The successors of this state are not well defined. Index value 3 is out of range....

Я пытаюсь вернуть целочисленный массив в функцию UPPAAL. Каков правильный синтаксис для этого? Этот фрагмент кода не работает: int[] randomTest(int N) { int test[2]; test[0] = 0; test[1] = 1; return test; }

У меня есть система с 5 процессами. Один из процессов отправляет сигнал1! до 3 процессов (то есть 3 процесса получают сигнал1?). Но когда я имитирую только один из 3 процессов приема, полученный сигнал1. Как заставить все 3 получать этот сигнал1...

Я скачал и установил uppaal 4.1.22 на Mac OS 10.14. У меня установлена ​​Ява 8. При открытии uppaal.jar выскакивает окно с сообщением «сервер вышел с ошибкой 126. Проверьте ОС». После закрытия окна я не могу запустить симулятор или верификатор....

Я пытаюсь создать свойства, в которых используются каналы, например, если передается сигнал X-канала, это означает, что Y-канал должен отправлять сигнал в ответ, но при его создании я столкнулся с проблемой. Это генерирует ошибку, поэтому, возможно,...

Я хочу преобразовать двойные значения в целые, чтобы использовать их в охранниках модели. Для этого я нашел функцию int fint (double) по адресу https://www.it.uu.se/research/group/darts/uppaal/download.shtml и теперь я использую uppaal-4.1.24...