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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Romeo (logiciel) (fr)
- Romeo Model Checker (en)
|
rdfs:comment
| - Roméo est un atelier logiciel pour la validation et la vérification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporels, à chronomètres ou paramétriques. Cet outil est développé par l'équipe Systèmes Temps Réel de l'IRCCyN (École centrale de Nantes, université de Nantes, CNRS) à Nantes, France.Roméo fonctionne sur les plates-formes Linux, Mac OS X et Windows. (fr)
- 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. (en)
|
foaf:name
| |
foaf:homepage
| |
name
| |
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
Link from a Wikipage to an external page
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
developer
| |
genre
| |
language
| |
latest release date
| |
latest release version
| |
operating system
| |
programming language
| - C++ and GUI in tcl/tk (en)
|
website
| |
has abstract
| - Roméo est un atelier logiciel pour la validation et la vérification (Model-checking) de systèmes temps réel modélisés par des réseaux de Petri temporels, à chronomètres ou paramétriques. Cet outil est développé par l'équipe Systèmes Temps Réel de l'IRCCyN (École centrale de Nantes, université de Nantes, CNRS) à Nantes, France.Roméo fonctionne sur les plates-formes Linux, Mac OS X et Windows. (fr)
- 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. (en)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
latest release date
| |
latest release version
| |
developer
| |
genre
| |
language
| |
operating system
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |