www.prismmodelchecker.org
[HJ94] H. Hansson and B. Jonsson. A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing, 6(5), pages 512--535. 1994. [bib]
Downloads:  bib bib

Publications