![Model checking / PRISM model checker / Uppaal Model Checker / PAT / Scientific modelling / Probabilistic automaton / Markov chain / Economic model / Stochastic / Model checkers / Probability / Statistics Model checking / PRISM model checker / Uppaal Model Checker / PAT / Scientific modelling / Probabilistic automaton / Markov chain / Economic model / Stochastic / Model checkers / Probability / Statistics](https://www.pdfsearch.io/img/dbd8c3eca17ca75f4a21bd50fecb8397.jpg) Date: 2012-05-10 09:21:45Model checking PRISM model checker Uppaal Model Checker PAT Scientific modelling Probabilistic automaton Markov chain Economic model Stochastic Model checkers Probability Statistics | | PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UKAdd to Reading ListSource URL: www.prismmodelchecker.orgDownload Document from Source Website File Size: 274,08 KBShare Document on Facebook
|