www.prismmodelchecker.org
[Dut11] Bruno Dutertre. Probabilistic Analysis of Distributed Fault-Tolerant Systems. Technical report CR–2011-217090, NASA. 2011. http://ntrs.nasa.gov/search.jsp?R=20110011564
Links: [Google] [Google Scholar]

Publications