www.prismmodelchecker.org
[Kwi09] M. Kwiatkowska. On Quantitative Software Verification. In C. Pasareanu (editor), Proc. 16th International SPIN Workshop, volume 5578 of LNCS, pages 2-3, Springer. Invited contribution. June 2009. [pdf] [bib] [Describes verification techniques for probabilistic C programs, using components from GOTO-CC, SATABS and PRISM.]
Downloads:  pdf pdf (53 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications