Romeo Model Checker とは

Roméoは、時間とともにモデル化されたリアルタイムシステムのモデル化、検証、検証のための統合ツール環境であり、パラメータで拡張されたPetri NetsまたはストップウォッチPetri Netsです。
このツールは、フランスのナントにあるIRCCyN研究所(Nantes、Nantes、CNRS)のReal-Time Systemsグループによって開発されました。