Text this: Validation of stochastic systems :