uppaal

0зной

1ответ

Проверка модели синхронной схемы в UPPAAL

Я использую UPPAAL model checker для моделирования синхронной схемы на уровне ворот, у меня есть некоторая путаница в том, как я могу моделировать часы, моя цель - проверить, что время настройки и вре

1зной

1ответ

Генерировать случайное число в Uppaal

Мой вопрос: могу ли я создать случайное число в Uppaal? Я хотел бы сгенерировать число из целого ряда значений. Более того, я хотел бы генерировать не только целые числа, я хотел бы также генерировать

0зной

1ответ

Как я могу анализировать данные из eps-файла UPPAAL?

Я запустил автомат и экспортировал файл eps. Но как мне дальше анализировать и получать информацию из файла eps? Возможно ли записать значения переменных во внешний файл журнала? Заранее спасибо

0зной

1ответ

Можно ли указать максимальное время для каждого состояния в UPPAAL global?

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

0зной

1ответ

Система содержит тупик - как ее найти? (UPPAAL)

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

0зной

0ответ

Ошибка Uppaal: java.io.IOException: Соединение с сервером потеряно

В настоящее время я изучаю официальную проверку, и мне нужно использовать uppaal, который я новичок. Но если я бег uppaal я получил ошибку java.io.IOException: Сервер соединения потеряли есть ли спосо