About: PAT (model checker)

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Finite-state model checker for concurrent and real-time systems

Property	Value
dbo:computingPlatform	dbr:.NET_Framework
dbo:description	finite-state model checker for concurrent and real-time systems (en) perangkat lunak National University of Singapore (in)
dbo:developer	dbr:National_University_of_Singapore
dbo:genre	dbr:Model_checking
dbo:language	dbr:Japanese_language dbr:English_language dbr:German_language dbr:Vietnamese_language dbr:Traditional_Chinese_characters dbr:Simplified_Chinese
dbo:latestReleaseVersion	3.5.1
dbo:operatingSystem	dbr:Unix dbr:Linux dbr:Microsoft_Windows dbr:MacOS
dbo:wikiPageExternalLink	http://pat.comp.nus.edu.sg/ https://web.archive.org/web/20110217191210/http:/library.thinkquest.org/27930/symmetry.htm http://patroot.forummotion.com
dbo:wikiPageWikiLink	dbr:National_University_of_Singapore dbr:Model_checking dbr:Mono_(software) dbc:Model_checkers dbr:.NET_Framework dbr:C_Sharp_(programming_language) dbr:Japanese_language dbr:Unix dbr:Deadlock dbr:Partial_order_reduction dbr:English_language dbr:German_language dbr:Linux dbr:Microsoft_Windows dbr:Vietnamese_language dbr:Traditional_Chinese_characters dbr:Simplified_Chinese dbr:Divergence_(computer_science) dbr:Linear_temporal_logic dbr:Mac_OS_X dbr:Fairness_assumption
dbp:developer	dbr:National_University_of_Singapore
dbp:genre	dbr:Model_checking
dbp:language	dbr:Japanese_language dbr:English_language dbr:German_language dbr:Vietnamese_language dbr:Traditional_Chinese_characters dbr:Simplified_Chinese
dbp:latestReleaseDate	2013-08-13 (xsd:date)
dbp:latestReleaseVersion	3.500000 (xsd:double)
dbp:name	PAT (en)
dbp:operatingSystem	Microsoft Windows; Linux, Unix, Mac OS X with Mono (en)
dbp:platform	dbr:.NET_Framework
dbp:programmingLanguage	dbr:C_Sharp_(programming_language)
dbp:website	http://pat.comp.nus.edu.sg/
dbp:wikiPageUsesTemplate	dbt:Release_date_and_age dbt:Reflist dbt:Infobox_software dbt:Start_date
dct:subject	dbc:Model_checkers
gold:hypernym	dbr:Framework
rdf:type	owl:Thing dbo:Software dbo:Software wikidata:Q386724 wikidata:Q7397 dbo:Work schema:CreativeWork
rdfs:label	PAT (model checker) (en)
owl:sameAs	freebase:PAT (model checker) wikidata:PAT (model checker) dbpedia-global:PAT (model checker) dbr:PAT (model checker)
prov:wasDerivedFrom	wikipedia-en:PAT_(model_checker)?oldid=1277217485&ns=0
foaf:homepage	http://pat.comp.nus.edu.sg/ http://pat.comp.nus.edu.sg/
foaf:isPrimaryTopicOf	wikipedia-en:PAT_(model_checker)
foaf:name	PAT (en)
is dbo:wikiPageDisambiguates of	dbr:PAT
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:Formal_methods dbr:PAT dbr:List_of_model_checking_tools
is foaf:primaryTopic of	wikipedia-en:PAT_(model_checker)