Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods
No abstract available.
Related papers
- Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions CAV 2022
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020
- Raising expectations: automating expected cost analysis with types ICFP 2020
- Learning Probabilistic Termination Proofs CAV 2021
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs CAV 2022
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ICFP 2024
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods SAS 2010