www.prismmodelchecker.org
[DM06] A. Donaldson and A. Miller. Symmetry Reduction for Probabilistic Model Checking using Generic Representatives. In Proc. 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06), volume 4218 of LNCS, pages 9-23, Springer. October 2006. [bib] http://www.dcs.gla.ac.uk/people/personal/alice/publications.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications