www.prismmodelchecker.org
[FCB+16] João M. Franco, Francisco Correia, Raul Barbosa, Mário Zenha-Rela, Bradley Schmerl and David Garlan. Improving self-adaptation planning through software architecture-based stochastic modeling. Journal of Systems and Software, 115, pages 42-60. 2016. [Proposes a stochastic modelling approach for self-adaptive software with analysis performed using PRISM. ]
Links: [Google] [Google Scholar]

Publications