About: PRISM model checker

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

Probabilistic model checker

Property	Value
dbo:description	probabilistic model checker (en)
dbo:wikiPageExternalLink	http://www.prismmodelchecker.org/ http://www.prismmodelchecker.org/casestudies/
dbo:wikiPageWikiLink	dbc:Free_application_software dbr:GNU_General_Public_License dbc:Probabilistic_software dbc:Model_checkers dbr:Markov_chain dbr:University_of_Oxford dbr:Formal_verification dbr:Model_checking dbr:Open-source_software dbr:University_of_Birmingham dbr:Temporal_logic dbr:Bluetooth dbr:Continuous-time_Markov_chain dbr:Markov_decision_process dbr:Google_Summer_of_Code dbr:Timed_automaton dbr:Onion_routing dbr:Crowds_(anonymity_network) dbr:FireWire dbr:Randomized_algorithms dbr:Biochemical
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Formalmethods-stub
dct:subject	dbc:Free_application_software dbc:Probabilistic_software dbc:Model_checkers
gold:hypernym	dbr:Checker
rdfs:label	PRISM model checker (en)
owl:sameAs	yago-res:PRISM model checker freebase:PRISM model checker wikidata:PRISM model checker dbpedia-global:PRISM model checker
prov:wasDerivedFrom	wikipedia-en:PRISM_model_checker?oldid=1251809243&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:PRISM_model_checker
is dbo:wikiPageDisambiguates of	dbr:Prism
is dbo:wikiPageRedirects of	dbr:PRISM_(model_checker) dbr:Prism(model_checker)
is dbo:wikiPageWikiLink of	dbr:Prism dbr:Marta_Kwiatkowska dbr:Semi-deterministic_Büchi_automaton dbr:PRISM_(model_checker) dbr:Prism(model_checker)
is foaf:primaryTopic of	wikipedia-en:PRISM_model_checker

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International