Проверка модели Ромео
| Разработчик(и) | ЛС2Н |
|---|---|
| Первоначальный выпуск | 2001 |
| Стабильная версия | 3.9.1 / 3 июня 2023 г |
| Написано в | C++ и графический интерфейс в tcl/tk |
| Операционная система | Линукс Мак ОС Х Microsoft Windows |
| Доступно в | Английский |
| Тип | Проверка модели |
| Веб-сайт | https://romeo.ls2n.fr/ |
Roméo — это интегрированная инструментальная среда для моделирования , проверки и верификации систем реального времени, смоделированных как сети Петри. [1] или секундомер «Сети Петри», расширенный параметрами. [2]
Инструмент был разработан группой Real-Time Systems в LS2N лаборатории ( Центральная школа Нанта , Нантский университет , CNRS ) в Нанте , Франция .
Ссылки
[ редактировать ]- ^ Гарди, Дж; Лайм, Д ; Маньен, М; Ру, Огайо . «Ромео: инструмент для анализа временных сетей Петри». На 17-й Международной конференции по компьютерной проверке (CAV'05), том 3576, Конспекты лекций по информатике, страницы 418–423, Эдинбург, Шотландия, Великобритания, июль 2005 г. Springer.
- ^ Лайм, Д ; Ру, Огайо ; Зейднер, К; Траонуэз, LM. «Ромео: параметрическая программа проверки моделей сетей Петри с секундомерами». На 15-й Международной конференции по инструментам и алгоритмам для построения и анализа систем (TACAS 2009), том 5505 конспектов лекций по информатике, страницы 54–57, Йорк, Великобритания, март 2009 г. Springer.
Внешние ссылки
[ редактировать ] | Эта формальным методам, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |