www.prismmodelchecker.org
[LS06] K. Lampka and M. Siegle. Activity-Local Symbolic State Graph Generation for High-Level Stochastic Models. In Proc. 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems (MMB), pages 245-263. March 2006. [bib] http://fakinf.informatik.unibw-muenchen.de/~msiegle/own.html
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications