Text this: Validation of Stochastic Systems