Title :
PRISM 2.0: a tool for probabilistic model checking
Author :
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David
Author_Institution :
Sch. of Comput. Sci., Univ. of Birmingham, UK
Abstract :
This paper gives a brief overview of version 2.0 of PRISM, a tool for the automatic formal verification of probabilistic systems, and some of the case studies to which it has already been applied.
Keywords :
formal specification; formal verification; probabilistic logic; temporal logic; automatic formal verification; formal specification; model checking; probabilistic system; temporal logic; Algebra; Automata; Clocks; Computer science; Concurrent computing; Delay; Formal specifications; Formal verification; Probabilistic logic; Probability distribution;
Conference_Titel :
Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the
Print_ISBN :
0-7695-2185-1
DOI :
10.1109/QEST.2004.1348048
