www.prismmodelchecker.org
[KSW04a] M. Kuntz, M. Siegle and E. Werner. Symbolic Performance and Dependability Evaluation with the Tool CASPA. In Proc. 1st European Performance Engineering Workshop (EPEW'04), FORTE'04 workshop, volume 3236 of LNCS, pages 293-307, Springer-Verlag. 2004. [bib] http://fakinf.informatik.unibw-muenchen.de/~msiegle/own.html
Downloads:  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications