PRISM model checker - PDFSEARCH.IO - Document Search Engine

PRISM model checker
Results: 18

#	Item
1	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory
2	Probabilistic Modeling and Model Checking Erika Ábrahám RWTH Aachen University, Germany SFM’14 Tutorial June 17, 2014 Add to Reading List Source URL: www.sti.uniurb.it Language: English - Date: 2014-06-19 19:17:22 Probability Probabilistic complexity theory Probability theory PRISM model checker Software Sample space Model checking Stochastic process Randomized algorithm
3	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
4	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English Theoretical computer science Markov processes Model checkers Markov models Probabilistic bisimulation Markov chain Bisimulation Splay tree Algorithm PRISM model checker Markov decision process Probabilistic CTL
5	PDF Document Add to Reading List Source URL: www.hieratic.eu Language: English PRISM model checker Jena Birmingham Chalmers
6	PRISM – An overview •  PRISM is a probabilistic model checker −  automatic verification of systems with stochastic behaviour −  e.g. due to unreliability, uncertainty, randomisation, … Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 10:07:18
7	Probabilistic Model Checking  and Strategy Synthesis    Dave Parker    Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-10-28 22:42:02 Markov chain PRISM model checker Model checking Probability and statistics Model checkers Markov models Statistics
8	C:/1_ Research/Copy of My Thesis - Professor version/cuthesis_masters.dvi Add to Reading List Source URL: spectrum.library.concordia.ca Language: English - Date: 2011-10-17 08:17:28 Artificial intelligence Model checkers Ontology Information science Technical communication Model checking Markov chain PRISM model checker Web Ontology Language Semantic Web Information Computing
9	Quantitative Verification Formal Guarantees for Timeliness, Reliability and Performance A Knowledge Transfer Report from the London Mathematical Society and Smith Institute for Industrial Mathematics and System Engineeri Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-08-21 16:51:10 Systems science Model checkers Theoretical computer science Software quality Logic in computer science Model checking Formal verification PRISM model checker Reliability engineering Systems engineering Science Formal methods
10	Automatic Verification of  Competitive Stochastic Systems  Dave Parker  University of Birmingham University of Liverpool, May 2012 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-05-29 18:24:25 Model checking Stochastic PRISM model checker Markov chain Statistics Probability and statistics Model checkers