| dbo: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) |
| dbo:developer |
dbr:Laboratoire_des_Sciences_du_Numérique_de_Nantes |
| dbo:genre |
dbr:Model_checking |
| dbo:language |
dbr:English_language |
| dbo:latestReleaseDate |
2022-01-18 (xsd:date) |
| dbo:latestReleaseVersion |
2.9.0 |
| dbo:operatingSystem |
dbr:Linux dbr:Mac_OS_X dbr:Microsoft_Windows |
| dbo:wikiPageExternalLink |
http://romeo.rts-software.org/ https://www.ls2n.fr/%3Flang=en |
| dbo:wikiPageID |
29068806 (xsd:integer) |
| dbo:wikiPageLength |
2331 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1073353918 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:University_of_Nantes dbr:English_language dbr:French_National_Centre_for_Scientific_Research dbr:GUI dbr:Model_checking dbr:Linux dbr:Mac_OS_X dbr:École_centrale_de_Nantes dbr:C++ dbr:France dbr:Real-time_computing dbc:Model_checkers dbr:Microsoft_Windows dbr:Nantes dbr:Tcl/tk dbr:Software_platform dbr:Laboratoire_des_Sciences_du_Numérique_de_Nantes |
| dbp:developer |
dbr:Laboratoire_des_Sciences_du_Numérique_de_Nantes |
| dbp:genre |
dbr:Model_checking |
| dbp:language |
dbr:English_language |
| dbp:latestReleaseDate |
2022-01-18 (xsd:date) |
| dbp:latestReleaseVersion |
2.900000 (xsd:double) |
| dbp:name |
ROMEO (en) |
| dbp:operatingSystem |
dbr:Linux dbr:Mac_OS_X dbr:Microsoft_Windows |
| dbp:programmingLanguage |
C++ and GUI in tcl/tk (en) |
| dbp:website |
http://romeo.rts-software.org/ |
| dbp:wikiPageUsesTemplate |
dbt:Infobox_software dbt:Start_date dbt:Release_date_and_age dbt:Formalmethods-stub |
| dct:subject |
dbc:Model_checkers |
| gold:hypernym |
dbr:Environment |
| rdf:type |
owl:Thing dbo:Software schema:CreativeWork dbo:Work wikidata:Q386724 wikidata:Q7397 yago:Ability105616246 yago:Abstraction100002137 yago:Code106355894 yago:CodingSystem106353757 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Method105660268 yago:PsychologicalFeature100023100 yago:Writing106359877 yago:WrittenCommunication106349220 yago:Software106566077 yago:WikicatFormalMethods |
| 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) |
| rdfs:label |
Romeo (logiciel) (fr) Romeo Model Checker (en) |
| owl:sameAs |
freebase:Romeo Model Checker wikidata:Romeo Model Checker dbpedia-fr:Romeo Model Checker https://global.dbpedia.org/id/3AzKN yago-res:Romeo Model Checker |
| prov:wasDerivedFrom |
wikipedia-en:Romeo_Model_Checker?oldid=1073353918&ns=0 |
| foaf:homepage |
http://romeo.rts-software.org/ |
| foaf:isPrimaryTopicOf |
wikipedia-en:Romeo_Model_Checker |
| foaf:name |
ROMEO (en) |
| is dbo:wikiPageWikiLink of |
dbr:List_of_model_checking_tools dbr:Model_checking |
| is foaf:primaryTopic of |
wikipedia-en:Romeo_Model_Checker |
