www.prismmodelchecker.org
[HMST14] Khaza Anuarul Hoque, Otmane Ait Mohamed, Yvon Savaria and Claude Thibeault . Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking. Formal Techniques for Safety-Critical Systems Communications in Computer and Information Science, 419, pages 54-70, Springer. 2014. [Uses probabilistic model checking and PRISM to analyse dependability and performability properties of SRAM-based FPGAs.]
Notes: The original publication is available at www.springerlink.com.

Publications