Matches in DBpedia 2014 for { <http://dbpedia.org/resource/PRISM_model_checker> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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 wikiPageRevisionID "599351169".
- PRISM_model_checker hasPhotoCollection PRISM_model_checker.
- 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 type Assistant109815790.
- PRISM_model_checker type Attendant109821831.
- PRISM_model_checker type CausalAgent100007347.
- PRISM_model_checker type Checker109913110.
- PRISM_model_checker type LivingThing100004258.
- PRISM_model_checker type ModelCheckers.
- PRISM_model_checker type Object100002684.
- PRISM_model_checker type Organism100004475.
- PRISM_model_checker type Person100007846.
- PRISM_model_checker type PhysicalEntity100001930.
- PRISM_model_checker type Whole100003553.
- PRISM_model_checker type Worker109632518.
- PRISM_model_checker type YagoLegalActor.
- PRISM_model_checker type YagoLegalActorGeo.
- 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 m.0561h69.
- PRISM_model_checker sameAs Q7120322.
- PRISM_model_checker sameAs Q7120322.
- PRISM_model_checker sameAs PRISM_model_checker.
- PRISM_model_checker wasDerivedFrom PRISM_model_checker?oldid=599351169.
- PRISM_model_checker isPrimaryTopicOf PRISM_model_checker.