www.prismmodelchecker.org
[SVA05] K. Sen, M. Viswanathan and G. Agha. On statistical model checking of stochastic systems. In Proc. 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of LNCS, pages 266–-280, Springer. 2005. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications