www.prismmodelchecker.org
[ASSB96] A. Aziz, K. Sanwal, V. Singhal and R. Brayton. Verifying Continuous Time Markov Chains. In R. Alur and T. Henzinger (editors), Proc. 8th International Conference on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pages 269--276, Springer. 1996. [bib]
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications