www.prismmodelchecker.org
[YS02] H. Younes and R. Simmons. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In E. Brinksma and K. Larsen (editors), Proc. 14th International Conference on Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 223--235, Springer. 2002. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications