Date: 2011-06-07 19:21:25Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain | | 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: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 274,08 KBShare Document on Facebook
|