On Automated Verification of Probabilistic Programs
Abstract elided by the publisher.
Related papers
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP 2024
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back OOPSLA 2025
- Lexicographic Ranking Supermartingales with Lazy Lower Bounds CAV 2024
- Probabilistic Automated Language Learning for Configuration Files CAV 2016
- Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods SAS 2010
- \mathsf StocHy : Automated Verification and Synthesis of Stochastic Processes TACAS 2019
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022
- Qafny: A Quantum-Program Verifier ECOOP 2024