www.prismmodelchecker.org
[HHWZ10b] E. M. Hahn, H. Hermanns, B. Wachter and L. Zhang. PASS: Abstraction Refinement for Infinite Probabilistic Models. In J. Esparza and R. Majumdar (editors), Proc. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'10), volume 6105 of LNCS, pages 353-357, Springer. 2010. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications