GRIP: Generic Representatives in PRISM

Edinburgh, Scotland, UK September 17-September 19

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/QEST.2007.30

Fourth International Conference on th ...

	This Article
	PURCHASE ARTICLE: $0 PDF HTML IEEE Xplore Subscribers
	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 Alastair F. Donaldson Articles by Alice Miller Articles by David Parker

	ASCII Text	x
	Alastair F. Donaldson, Alice Miller, David Parker, "GRIP: Generic Representatives in PRISM," Quantitative Evaluation of Systems, International Conference on, pp. 115-116, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007.

	BibTex	x
	@article{ 10.1109/QEST.2007.30, author = {Alastair F. Donaldson and Alice Miller and David Parker}, title = {GRIP: Generic Representatives in PRISM}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-2883-X}, pages = {115-116}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.30}, 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 - GRIP: Generic Representatives in PRISM SN - 0-7695-2883-X SP115 EP116 A1 - Alastair F. Donaldson, A1 - Alice Miller, A1 - David Parker, PY - 2007 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

Alastair F. Donaldson, Codeplay Software Ltd., UK

Alice Miller, University of Glasgow, UK

David Parker, Oxford University, UK

We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications.

Citation:

Alastair F. Donaldson, Alice Miller, David Parker, "GRIP: Generic Representatives in PRISM," qest, pp.115-116, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007

Peer Review Notice | Give Us Feedback

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