About: Uppaal Model Checker

An Entity of Type: work, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Integrated tool environment

Property	Value
dbo:description	integrated tool environment (en) perangkat lunak Uppsala University (in) strumento software per la verifica di sistemi real-time (it)
dbo:developer	dbr:Uppsala_University dbr:Aalborg_University
dbo:genre	dbr:Model_checking
dbo:language	dbr:English_language
dbo:latestPreviewVersion	5.1.0-beta3
dbo:latestReleaseVersion	5.0.0
dbo:license	dbr:Academic_Licenses dbr:Commercial_Licenses
dbo:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:MacOS
dbo:wikiPageExternalLink	http://www.uppaal.com/ http://www.uppaal.org/ http://people.cs.aau.dk/~adavid/cora/ http://people.cs.aau.dk/~adavid/smc/ http://people.cs.aau.dk/~adavid/tiga/ http://people.cs.aau.dk/~marius/tron/ http://user.it.uu.se/~hessel/CoVer/ http://www.it.uu.se/research/group/darts/ http://www.it.uu.se/research/group/darts/uppaal/port/ http://www.cs.aau.dk/research/distributed-embedded-intelligent-systems/
dbo:wikiPageWikiLink	dbr:Model_checking dbc:Model_checkers dbr:C++ dbr:Japanese_language dbr:Real-time_computing dbr:Denmark dbr:English_language dbr:Java_(programming_language) dbr:Linux dbr:Microsoft_Windows dbr:Sweden dbr:Chinese_language dbr:Danish_language dbr:Lithuanian_language dbr:Data_type dbr:Timed_automaton dbr:Tool dbr:Uppsala_University dbr:Aalborg_University dbr:Philips dbr:Lego_Mindstorms dbr:Academic_Licenses dbr:Commercial_Licenses dbr:GUI dbr:Mecel dbr:Mac_OS_X dbr:Software_platform
dbp:developer	dbr:Uppsala_University dbr:Aalborg_University
dbp:genre	dbr:Model_checking
dbp:language	dbr:Japanese_language dbr:English_language dbr:Chinese_language dbr:Danish_language dbr:Lithuanian_language
dbp:latestPreviewDate	2023-10-23 (xsd:date)
dbp:latestPreviewVersion	5.100000 (xsd:double)
dbp:latestReleaseDate	2023-07-14 (xsd:date)
dbp:latestReleaseVersion	5 (xsd:integer)
dbp:license	dbr:Academic_Licenses dbr:Commercial_Licenses
dbp:name	UPPAAL (en)
dbp:operatingSystem	dbr:Linux dbr:Microsoft_Windows dbr:MacOS
dbp:programmingLanguage	C++ and GUI in Java (en)
dbp:website	http://www.uppaal.com/ http://www.uppaal.org/
dbp:wikiPageUsesTemplate	dbt:Release_date_and_age dbt:Reflist dbt:Third-party dbt:Formalmethods-stub dbt:Infobox_software dbt:Start_date dbt:Short_description
dct:subject	dbc:Model_checkers
gold:hypernym	dbr:Environment
rdf:type	owl:Thing wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	Uppaal Model Checker (en) UPPAAL (de) Uppaal (ja) UPPAAL (it)
owl:sameAs	freebase:Uppaal Model Checker yago-res:Uppaal Model Checker wikidata:Uppaal Model Checker dbpedia-it:Uppaal Model Checker dbpedia-de:Uppaal Model Checker dbpedia-ja:Uppaal Model Checker dbpedia-global:Uppaal Model Checker
prov:wasDerivedFrom	wikipedia-en:Uppaal_Model_Checker?oldid=1293928663&ns=0
foaf:homepage	http://www.uppaal.org/ http://www.uppaal.org/
foaf:isPrimaryTopicOf	wikipedia-en:Uppaal_Model_Checker
foaf:name	UPPAAL (en)
is dbo:wikiPageDisambiguates of	dbr:UMC
is dbo:wikiPageRedirects of	dbr:UPPAAL dbr:Uppaal dbr:Uppaal_model_checker
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:Formal_methods dbr:SPIN_model_checker dbr:UMC dbr:Timed_automaton dbr:List_of_model_checking_tools dbr:OpenComRTOS dbr:Region_(model_checking) dbr:UPPAAL dbr:Uppaal dbr:Uppaal_model_checker
is foaf:primaryTopic of	wikipedia-en:Uppaal_Model_Checker