www.prismmodelchecker.org
[BdA95] A. Bianco and L. de Alfaro. Model Checking of Probabilistic and Nondeterministic Systems. In P. Thiagarajan (editor), Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 1026 of LNCS, pages 499--513, Springer. 1995. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications