Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing
No abstract available.
Related papers
- Fixed Point Certificates for Reachability and Expected Rewards in MDPs TACAS 2025
- Typilus: neural type hints PLDI 2020
- Two memory allocators that use hints to improve locality ISMM 2009
- Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) ECOOP 2022
- Variability Fault Localization by Abstract Interpretation and its Application to SPL Repair SLE 2025
- A Hierarchy of Supermartingales for ω-Regular Verification PLDI 2026
- Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration TACAS 2023
- A Theory of Slicing for Imperative Probabilistic Programs TOPLAS 2020