This paper provides a general framework for the quantitative analysis of stochastic dynamic models. We review the convergence properties of some numerical algorithms and available methods to bound approximation errors. We then address the convergence and accuracy properties of the simulated...