Validation of Stochastic Systems