On the numerical analysis of stochastic Lotka-Volterra models
PRISM: probabilistic model checking for performance and reliability analysis