www.prismmodelchecker.org
[CCC+22] Javier Cámaram Radu Calinescu, Betty H.C. Cheng, David Garlan and Bradley Schmerl. Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. In 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems. 2022. [Discusses modelling and analysis of uncertainty in software-intensive systems, including a PRIM-based approach.]
Links: [Google] [Google Scholar]

Publications