www.prismmodelchecker.org
[Spr01] J. Sproston. Model Checking for Probabilistic Timed and Hybrid Systems. Ph.D. thesis, School of Computer Science, The University of Birmingham. 2001. [ps] [ps.gz] [bib]
Downloads:  ps ps (2.34 MB)  ps.gz ps.gz (761 KB)  bib bib
Links: [Google] [Google Scholar]

Publications