www.prismmodelchecker.org
[You05] H. Younes. Ymer: A Statistical Model Checker. In Proc. 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, pages 429-433, Springer-Verlag. July 2005. [bib] http://sweden.autonomy.ri.cmu.edu/papers/
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications