PRISM 2.0: A Tool for Probabilistic Model Checking

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Marta Kwiatkowska Articles by Gethin Norman Articles by David Parker

The Quantitative Evaluation of Systems, First International Conference on (QEST'04)

PRISM 2.0: A Tool for Probabilistic Model Checking (PDF)

Enschede, the Netherlands

September 27-September 30

ISBN: 0-7695-2185-1

	ASCII Text	x
	Marta Kwiatkowska, Gethin Norman, David Parker, "PRISM 2.0: A Tool for Probabilistic Model Checking," Quantitative Evaluation of Systems, International Conference on, pp. 322-323, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004.

	BibTex	x
	@article{ 10.1109/QEST.2004.10016, author = {Marta Kwiatkowska and Gethin Norman and David Parker}, title = {PRISM 2.0: A Tool for Probabilistic Model Checking}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2004}, isbn = {0-7695-2185-1}, pages = {322-323}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10016}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - PRISM 2.0: A Tool for Probabilistic Model Checking SN - 0-7695-2185-1 SP322 EP323 A1 - Marta Kwiatkowska, A1 - Gethin Norman, A1 - David Parker, PY - 2004 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

Marta Kwiatkowska, University of Birmingham, UK

Gethin Norman, University of Birmingham, UK

David Parker, University of Birmingham, UK

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10016

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.

Citation:

Marta Kwiatkowska, Gethin Norman, David Parker, "PRISM 2.0: A Tool for Probabilistic Model Checking," qest, pp.322-323, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.