www.prismmodelchecker.org
[BK98] C. Baier and M. Kwiatkowska. Model Checking for a Probabilistic Branching Time Logic with Fairness. Distributed Computing, 11(3), pages 125-155. 1998. [ps.gz] [bib]
Downloads:  ps.gz ps.gz (303 KB)  bib bib

Publications