www.prismmodelchecker.org
[HHWZ09b] E. M. Hahn, H. Hermanns, B. Wachter and L. Zhang. INFAMY: An Infinite-State Markov Model Checker. In Proc. 21st International Conference on Computer Aided Verification (CAV'09), volume 5643 of LNCS, pages 641-647, Springer. 2009. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications