www.prismmodelchecker.org
[LCHL18] Zipeng Li, Krishnendu Chakrabarty, Tsung-Yi Ho and Chen-Yi Lee. Efficient and Adaptive Error Recovery. In Micro-Electrode-Dot-Array Digital Microfluidic Biochips, pages 53-81, Springer. 2018. [Presents local recovery strategies for biochips, evaluated using PRISM.]
Notes: The original publication is available at link.springer.com.
Links: [Google] [Google Scholar]

Publications