www.prismmodelchecker.org
[DJJL01] P. D'Argenio, B. Jeannet, H. Jensen and K. Larsen. Reachability analysis of probabilistic systems by successive refinements. In L. de Alfaro and S. Gilmore (editors), Proc. 1st Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM/PROBMIV'01), volume 2165 of LNCS, pages 39-56, Springer. 2001. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications