www.prismmodelchecker.org
[ALLS11] Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue and Dimitar Simeonov. DiPro - A Tool for Probabilistic Counterexample Generation. In In Proc. 18th International SPIN Workshop on Model Checking of Software (SPIN'11). 2011.
Links: [Google] [Google Scholar]

Publications