www.prismmodelchecker.org
[CY95] C. Courcoubetis and M. Yannakakis. The Complexity of Probabilistic Verification. Journal of the ACM, 42(4), pages 857--907. 1995. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications