Probabilistic Validation: Theoretical Foundation and Methodological Platform · Study