www.prismmodelchecker.org
[GO10b] Matthias Gudemann and Frank Ortmeier. A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis. In Proc. 12th IEEE High Assurance Systems Engineering Symposium (HASE'10), pages 132-141. 2010.
Links: [Google] [Google Scholar]

Publications