Source code for "Model-Based Validation as Probabilistic Inference" presented at L4DC 2023 - View it on GitHub