PAT (model checker)

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Software Model checking tool
rdfs:label	PAT (model checker)
owl:sameAs	dbr:PAT_(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	PAT (model checker)
skos:altLabel	PAT
clgo:computingPlatform	.NET Framework
clgo:developer	National University of Singapore
clgo:genre	Model checking
clgo:language	Traditional Chinese characters English language German language Japanese language Vietnamese language Simplified Chinese characters
clgo:latestReleaseDate	2013-08-13
clgo:latestReleaseVersion	3.5.1
clgo:operatingSystem	MacOS Linux Unix Microsoft Windows

About: clgr:PAT_(model_checker)