Romeo Model Checker
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 lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
- Ability105616246
- Abstraction100002137
- Code106355894
- CodingSystem106353757
- Cognition100023271
- Communication100033020
- CreativeWork
- Know-how105616786
- Method105660268
- PsychologicalFeature100023100
- Q386724
- Q7397
- software
- Software106566077
- Thing
- WikicatFormalMethods
- work
- Writing106359877
- WrittenCommunication106349220
- Comment
- enRomé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 lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
- Developer
- Laboratoire des Sciences du Numérique de Nantes
- Developer
- Laboratoire des Sciences du Numérique de Nantes
- Genre
- Model checking
- Genre
- Model checking
- Has abstract
- enRomé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 lab (École centrale de Nantes, University of Nantes, CNRS) in Nantes, France.
- Homepage
- romeo.rts-software.org/
- Hypernym
- Environment
- Is primary topic of
- Romeo Model Checker
- Label
- enRomeo Model Checker
- Language
- English language
- Language
- English language
- LatestReleaseDate
- 18 January 2022
- Latest release date
- 18 January 2022
- LatestReleaseVersion
- 2.90
- Latest release version
- 2.9.0
- Link from a Wikipage to an external page
- www.ls2n.fr/%3Flang=en
- romeo.rts-software.org/
- Link from a Wikipage to another Wikipage
- C++
- Category:Model checkers
- École centrale de Nantes
- English language
- France
- French National Centre for Scientific Research
- GUI
- Laboratoire des Sciences du Numérique de Nantes
- Linux
- Mac OS X
- Microsoft Windows
- Model checking
- Nantes
- Real-time computing
- Software platform
- tk
- University of Nantes
- Name
- enROMEO
- Name
- enROMEO
- OperatingSystem
- Linux
- Mac OS X
- Microsoft Windows
- Operating system
- Linux
- Mac OS X
- Microsoft Windows
- ProgrammingLanguage
- enC++ and GUI in tcl/tk
- SameAs
- 3AzKN
- m.0dlky3d
- Q3441191
- Romeo (logiciel)
- Romeo Model Checker
- Subject
- Category:Model checkers
- WasDerivedFrom
- Romeo Model Checker?oldid=1073353918&ns=0
- Website
- http://romeo.rts-software.org/
- WikiPageLength
- 2331
- Wikipage page ID
- 29068806
- Wikipage revision ID
- 1073353918
- WikiPageUsesTemplate
- Template:Formalmethods-stub
- Template:Infobox software
- Template:Release date and age
- Template:Start date