www.prismmodelchecker.org
[GH02] H. Garavel and H. Hermanns. On combining functional verification and performance evaluation using CADP. In Proc. International Symposium of Formal Methods Europe (FME'02), volume 2391 of LNCS, pages 410-429, Springer. 2000. [bib]
Downloads:  bib bib
Notes: The original publication is available at link.springer.com.

Publications