www.prismmodelchecker.org
[HLMP04] T. Hérault, R. Lassaigne, F. Magniette and S. Peyronnet. Approximate Probabilistic Model Checking. In Proc. 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), volume 2937 of Lecture Notes in Computer Science, Springer-Verlag. January 2004. [bib] http://sylvain.berbiqui.org/Publis.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications