Rigorous Validation with Proof-By-Simulation