PRISM 2.0: A tool for probabilistic model checking

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 322-323

  Kwiatkowska, Marta ^a   Norman, Gethin ^a   Parker, David ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS DISCRETE MARKOV CHAINS (CTMC); DISCRETE-TIME MARKOV CHAINS (DTMC); PRISM 2.0; PROBABILISTIC MODELING;

ALGORITHMS; AUTOMATA THEORY; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS; DECISION THEORY; GRAPHICAL USER INTERFACES; MARKOV PROCESSES; MATHEMATICAL MODELS; SYNCHRONIZATION; UNIX; WEBSITES;

PROBABILISTIC LOGICS;

EID: 16244397718     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2004.1348048     Document Type: Conference Paper

References (4)

1. PRISM web site. www.cs.bham.ac.uk/~dxp/prism.
2. C. Daws, M. Kwiatkowska, and G. Norman. Automatic verification of the IEEE 1394 root contention protocol with KRO-NOS and PRISM. International Journal on Software Tools for Technology Transfer (STTT), 5(2-3):221-236, 2004.
3. M. Kwiatkowska, G. Norman, D.Parker, and J. Sproston. Performance analysis of probabilistic timed automata using digital clocks. In Proc. FORMATS'03, volume 2791 of LNCS. Springer, 2003.
4. J. Rutten, M. Kwiatkowska, G. Norman, and D. Parker. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.), volume 23 of CRM Monograph Series. AMS, 2004.