www.prismmodelchecker.org
[JAV+12] Nils Jansen, Erika Abraham, Matthias Volk, Ralf Wimmer, Joost-Pieter Katoen and Bernd Becker. The COMICS Tool - Computing Minimal Counterexamples for DTMCs. In Proc. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA’12), volume 7561 of LNCS, Springer. 2012.
Notes: The original publication is available at www.springerlink.com.

Publications