Uppaal Model Checker

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Software Model checking tool
rdfs:label	Uppaal Model Checker
owl:sameAs	dbr:Uppaal_Model_Checker
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Lists_of_software http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/List_of_model_checking_tools http://en.wikipedia.org/wiki/Model_checking
skos:prefLabel	Uppaal Model Checker
skos:altLabel	UPPAAL
clgo:developer	Uppsala University Aalborg University
clgo:genre	Model checking
clgo:language	English language
clgo:latestPreviewDate	2019-03-28
clgo:latestPreviewVersion	4.1.22
clgo:latestReleaseDate	2014-05-20
clgo:latestReleaseVersion	4.0.14
clgo:operatingSystem	MacOS Linux Microsoft Windows

About: clgr:Uppaal_Model_Checker