An Abstract Analysis of the Probabilistic Termination of Programs
No abstract available.
DOI 10.1007/3-540-47764-0_7
Related papers
- Automated Termination Analysis of Polynomial Probabilistic Programs ESOP 2021
- Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs CAV 2022
- Learning Probabilistic Termination Proofs CAV 2021
- Termination Analysis of Probabilistic Programs Through Positivstellensatz's CAV 2016
- Modular verification for almost-sure termination of probabilistic programs OOPSLA 2019
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- New Approaches for Almost-Sure Termination of Probabilistic Programs APLAS 2018
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures CAV 2022