Проверка моделей Romeo
| Разработчик(и) | ЛС2Н |
|---|---|
| Первоначальный выпуск | 2001 ( 2001 ) |
| Стабильный релиз | 3.9.1 / 3 июня 2023 г. ( 2023-06-03 ) |
| Написано в | C++ и GUI в tcl/tk |
| Операционная система | Linux Mac OS X Microsoft Windows |
| Доступно в | Английский |
| Тип | Проверка модели |
| Веб-сайт | https://romeo.ls2n.fr/ |
Romeo — это интегрированная инструментальная среда для моделирования , проверки и верификации систем реального времени , смоделированных как временные сети Петри [1] или секундомерные сети Петри, расширенные параметрами. [2]
Инструмент был разработан группой Real-Time Systems в лаборатории LS2N ( École Centrale de Nantes , Университет Нанта , CNRS ) в Нанте , Франция .
Ссылки
- ^ Gardey, G; Lime, D; Magnin, M; Roux, OH. "Roméo: A tool for analysis time Petri nets". В 17-й Международной конференции по компьютерной верификации (CAV'05), том 3576 Lecture Notes in Computer Science, страницы 418-423, Эдинбург, Шотландия, Великобритания, июль 2005 г. Springer.
- ^ Lime, D; Roux, OH; Seidner, C; Traonouez, LM. "Romeo: параметрическая модель-проверка для сетей Петри с секундомерами". В 15-й Международной конференции по инструментам и алгоритмам для построения и анализа систем (TACAS 2009), том 5505 Lecture Notes in Computer Science, страницы 54-57, Йорк, Соединенное Королевство, март 2009 г. Springer.
Внешние ссылки
- Веб-страница Ромео
- Веб-страница лаборатории LS2N
 | Эта статья о формальных методах является заглушкой . Вы можете помочь Википедии, расширив ее. |
