www.prismmodelchecker.org
[SR14] Guoxin Su and David S. Rosenblum. Perturbation analysis of stochastic systems with empirical distribution parameters. In Proc. 36th International Conference on Software Engineering (ICSE'14). 2014. [Proposes techniques for analysing peturbations in probabilistic models using parametric model checking and a connection to PRISM.]
Links: [Google] [Google Scholar]

Publications