ロメオ・モデル・チェッカー

ロミオ
ロミオ
開発者	LS2N
リリース	2001年（2001年）
安定放出	3.9.1 / 2023年6月3日 ( 2023-06-03 )
執筆	C++とTcl/TkによるGUI
オペレーティング·システム	Linux、Mac OS X、Microsoft Windows
利用可能	英語
タイプ	モデル検査
Webサイト	https://romeo.ls2n.fr/

Roméoは、時間ペトリネット^[¹^]またはストップウォッチペトリネットとしてモデル化されたリアルタイムシステムのモデリング、検証、および妥当性確認のための統合ツール環境であり、パラメータで拡張されています^[²^{] 。}

このツールは、フランスのナントにある LS2Nラボ（ナント中央大学、ナント大学、CNRS）のリアルタイムシステムグループによって開発されました。

参考文献

↑ Gardey, G; Lime, D ; Magnin, M; Roux, OH . "Roméo: 時間ペトリネットを分析するためのツール". 第 17 回国際コンピュータ支援検証会議 (CAV'05)、Lecture Notes in Computer Science、第 3576 巻、418-423 ページ、エジンバラ、スコットランド、英国、2005 年 7 月。Springer。
↑ Lime, D ; Roux, OH ; Seidner, C; Traonouez, LM. "Romeo: ストップウォッチ付きペトリネットのパラメトリックモデルチェッカー". 第 15 回システム構築および分析のためのツールとアルゴリズムに関する国際会議 (TACAS 2009)、Lecture Notes in Computer Science、第 5505 巻、54-57 ページ、ヨーク、英国、2009 年 3 月。Springer。