www.prismmodelchecker.org
[Mun16] Peter Munk. A Software Fault-Tolerance Mechanism for Mixed-Critical Real-Time Applications on Consumer-Grade Many-Core Processors. Ph.D. thesis, University of Berlin. 2016. [Presents an adaptive fault-tolerance mechanism for many-core processors including a model analysis using PRISM.]
Links: [Google] [Google Scholar]

Publications