Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/PRISM_model_checker> ?p ?o }
Showing triples 1 to 45 of
45
with 100 triples per page.
- PRISM_model_checker abstract "PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour. One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security protocols such as Crowds and Onion routing. Stochastic behaviour also arises in many other computer systems, for example due to equipment failures or unpredictable communication delays. Yet another class of systems amenable to this kind of analysis are biochemical reaction networks.PRISM can be used to analyse several different types of probabilistic models, including discrete-time Markov chains, continuous-time Markov chains, Markov decision processes and probabilistic extensions of the timed automata formalism. Properties to be verified against these models are expressed in probabilistic extensions of temporal logic.Development of PRISM is primarily carried out at the University of Birmingham and the University of Oxford. The tool is open-source software, released under the GNU General Public License. PRISM has been selected for the Google Summer of Code programme in 2013 and 2014.".
- PRISM_model_checker wikiPageExternalLink www.prismmodelchecker.org.
- PRISM_model_checker wikiPageExternalLink casestudies.
- PRISM_model_checker wikiPageID "20773392".
- PRISM_model_checker wikiPageLength "2189".
- PRISM_model_checker wikiPageOutDegree "21".
- PRISM_model_checker wikiPageRevisionID "706721276".
- PRISM_model_checker wikiPageWikiLink Biochemistry.
- PRISM_model_checker wikiPageWikiLink Bluetooth.
- PRISM_model_checker wikiPageWikiLink Category:Free_application_software.
- PRISM_model_checker wikiPageWikiLink Category:Model_checkers.
- PRISM_model_checker wikiPageWikiLink Category:Probabilistic_software.
- PRISM_model_checker wikiPageWikiLink Continuous-time_Markov_chain.
- PRISM_model_checker wikiPageWikiLink Crowds.
- PRISM_model_checker wikiPageWikiLink Formal_verification.
- PRISM_model_checker wikiPageWikiLink GNU_General_Public_License.
- PRISM_model_checker wikiPageWikiLink Google_Summer_of_Code.
- PRISM_model_checker wikiPageWikiLink IEEE_1394.
- PRISM_model_checker wikiPageWikiLink Markov_chain.
- PRISM_model_checker wikiPageWikiLink Markov_decision_process.
- PRISM_model_checker wikiPageWikiLink Model_checking.
- PRISM_model_checker wikiPageWikiLink Onion_routing.
- PRISM_model_checker wikiPageWikiLink Open-source_software.
- PRISM_model_checker wikiPageWikiLink Randomized_algorithm.
- PRISM_model_checker wikiPageWikiLink Temporal_logic.
- PRISM_model_checker wikiPageWikiLink Timed_automaton.
- PRISM_model_checker wikiPageWikiLink University_of_Birmingham.
- PRISM_model_checker wikiPageWikiLink University_of_Oxford.
- PRISM_model_checker wikiPageWikiLinkText "PRISM model checker".
- PRISM_model_checker wikiPageUsesTemplate Template:Formalmethods-stub.
- PRISM_model_checker wikiPageUsesTemplate Template:Reflist.
- PRISM_model_checker subject Category:Free_application_software.
- PRISM_model_checker subject Category:Model_checkers.
- PRISM_model_checker subject Category:Probabilistic_software.
- PRISM_model_checker hypernym Checker.
- PRISM_model_checker type Software.
- PRISM_model_checker type Method.
- PRISM_model_checker type Tool.
- PRISM_model_checker comment "PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour. One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security protocols such as Crowds and Onion routing. Stochastic behaviour also arises in many other computer systems, for example due to equipment failures or unpredictable communication delays.".
- PRISM_model_checker label "PRISM model checker".
- PRISM_model_checker sameAs Q7120322.
- PRISM_model_checker sameAs m.0561h69.
- PRISM_model_checker sameAs Q7120322.
- PRISM_model_checker wasDerivedFrom PRISM_model_checker?oldid=706721276.
- PRISM_model_checker isPrimaryTopicOf PRISM_model_checker.