Romeo Model Checker - Reference.org

On this page

Developer(s) IRCCyN

Initial release 2001

Stable release 2.9.0 / May 8, 2010; 11 years ago

Written in C++ and GUI in tcl/tk

Operating system Linux
Mac OS X
Microsoft Windows

Available in English

Type Model checking

Additional information

Romeo Model Checker

Petri net editor

Roméo is an integrated tool environment for modeling, validation and verification of real-time systems modeled as time Petri Nets or stopwatch Petri Nets, extended with parameters.

The tool has been developed by the Real-Time Systems group at LS2N lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.

We don't have any images related to Romeo Model Checker yet.

You can add one yourself here.

We don't have any YouTube videos related to Romeo Model Checker yet.

You can add one yourself here.

We don't have any PDF documents related to Romeo Model Checker yet.

You can add one yourself here.

We don't have any Books related to Romeo Model Checker yet.

You can add one yourself here.

We don't have any archived web articles related to Romeo Model Checker yet.

You can submit a link to a page to archive here.

External links

References

Gardey, G; Lime, D; Magnin, M; Roux, OH. "Roméo: A tool for analyzing time Petri nets". In 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 418-423, Edinburgh, Scotland, UK, July 2005. Springer. http://pagesperso.ls2n.fr/~lime-d/ ↩
Lime, D; Roux, OH; Seidner, C; Traonouez, LM. "Romeo: A parametric model-checker for Petri nets with stopwatches". In 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009), volume 5505 of Lecture Notes in Computer Science, pages 54-57, York, United Kingdom, March 2009. Springer. http://pagesperso.ls2n.fr/~lime-d/ ↩