www.prismmodelchecker.org
[HHZ11b] E. M. Hahn, H. Hermanns, and L. Zhang. Probabilistic reachability for parametric Markov models. Software Tools for Technology Transfer, 13(1), pages 3-19. 2011. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications