Описание тега uppaal
Uppaal - это интегрированная инструментальная среда для моделирования, валидации и проверки систем реального времени, смоделированных как сети временных автоматов, расширенных типами данных (ограниченные целые числа, массивы и т. Д.).
Около
Uppaal - это интегрированная инструментальная среда для моделирования, симуляции и проверки систем реального времени, разработанная совместно отделом фундаментальных исследований в области компьютерных наук Университета Ольборга в Дании и Департаментом информационных технологий Университета Упсалы в Швеции.
Он подходит для систем, которые можно смоделировать как набор недетерминированных процессов с конечной структурой управления и действительными часами, взаимодействующими через каналы или общие переменные.
Ссылки