www.prismmodelchecker.org
[GO11] Matthias Gudemann and Frank Ortmeier. Towards Model-driven Safety Analysis. In Proc. 3rd International Workshop on Dependable Control of Discrete Systems (DCDS'11). 2011.
Links: [Google] [Google Scholar]

Publications