www.prismmodelchecker.org
[KSHB20] Shamik Kundu, Ahmet SoyyiÄŸit, Khaza Anuarul Hoque and Kanad Basu. High-level Modeling of Manufacturing Faults in Deep Neural Network Accelerators. In Proc. IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS'20). 2020. [Formally models and analyses faults in deep neural network accelerators using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications