Romeo Model Checker
Today, Romeo Model Checker has captured the attention of millions of people around the world. Since its discovery, Romeo Model Checker has been the subject of debate, research and fascination. Experts and hobbyists alike have spent countless hours unraveling the mysteries surrounding Romeo Model Checker, exploring its origins, impact, and possible implications for the future. In this article, we will delve into the intriguing world of Romeo Model Checker, examining its importance and relevance in different areas of daily life. Join us on this journey to discover everything behind Romeo Model Checker and how it has influenced our society.
| ROMEO | |
|---|---|
| Developer | LS2N |
| Initial release | 2001 |
| Stable release | 3.9.1
/ June 3, 2023 |
| Written in | C++ and GUI in tcl/tk |
| Operating system | Linux Mac OS X Microsoft Windows |
| Available in | English |
| Type | Model checking |
| 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
- ^ 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.
- ^ 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.
External links
 | This formal methods-related article is a stub. You can help Wikipedia by expanding it. |