www.prismmodelchecker.org
[BRSK23] Matthew L. Bolton, Svetlana Riabova, Yeonbin Son and Eunsuk Kang. Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. In Proc. IEEE International Conference on Systems, Man, and Cybernetics. 2023. [Proposes human reliability analysis techniques using cognitive modelling and a PRISM-based analysis.]
Links: [Google] [Google Scholar]

Publications