Developer(s) IRCCyN Written in C++ and GUI in tcl/tk | Initial release 2001 (2001) | |
Stable release 2.9.0 / May 8, 2010; 6 years ago (2010-05-08) Operating system | ||
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 IRCCyN lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
References
Romeo Model Checker Wikipedia(Text) CC BY-SA