Model-based Validation as Probabilistic Inference