www.prismmodelchecker.org
[MFA+24] Diogo Mendes, Daniel Figueiredo, Carlos Alves, Ana Penedones, Beatriz Costa and Francisco Batel-Marques. Impact of the COVID-19 pandemic on cancer screenings in Portugal. Cancer Epidemiology. 2024. [Analyses the impact of COVID on cancer screen with a Markov model and using PRISM as a solver.]
Links: [Google] [Google Scholar]

Publications