Romeo Model Checker Explained

ROMEO
Developer:LS2N
Latest Release Version:3.9.1
Programming Language:C++ and GUI in tcl/tk
Operating System:Linux
Mac OS X
Microsoft Windows
Genre:Model checking
Language:English
Website:https://romeo.ls2n.fr/

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]

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.

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. http://pagesperso.ls2n.fr/~lime-d/ Lime, D

External links