Back to Results
First PageMeta Content
Markov processes / Probability / Markov models / Model checkers / PRISM model checker / Model checking / Markov reward model / Markov chain / Markov decision process / Probabilistic CTL / Prism


PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.
Add to Reading List

Document Date: 2008-12-15 10:57:28


Open Document

File Size: 250,67 KB

Share Result on Facebook
UPDATE