www.prismmodelchecker.org
[MTJ15] Andrey Morozov, Regina Tuk, Klaus Janschek. ErrorPro: Software Tool for Stochastic Error Propagation Analysis. In 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, The Netherlands. 2015. [Presents a tool for stochastic error propagation analysis using PRISM as a backend solver.]
Links: [Google] [Google Scholar]

Publications