www.prismmodelchecker.org
[LFL13] Florian Leitner-Fischer and Stefan Leue. On the Synergy of Probabilistic Causality Computation and Causality Checking. In Proc. 20th International Symposium on Model Checking Software (SPIN'13), volume 7976 of LNCS, pages 246-263, Springer. 2013. [Develops an approach for causality checking, which uses PRISM for some of the underlying computations.]
Notes: The original publication is available at www.springerlink.com.

Publications