www.prismmodelchecker.org
[HHWZ10] E. M. Hahn, H. Hermanns, B. Wachter and L. Zhang. PARAM: A Model Checker for Parametric Markov Models. In Proc. 22nd International Conference on Computer Aided Verification (CAV'10), volume 6174 of LNCS, pages 660-664, Springer. 2010. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications