Romeo Model Checker

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

ROMEO
Developer(s)IRCCyN
Initial release2001 (2001)
Stable release
2.9.0 / May 8, 2010 (2010-05-08)
Written inC++ and GUI in tcl/tk
Operating systemLinux
Mac OS X
Microsoft Windows
Available inEnglish
TypeModel checking
Websitehttp://romeo.rts-software.org/

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

References

  1. 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.
  2. 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.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.