Abstraction Refinement for Termination
No abstract available.
Related papers
- Lazy abstraction POPL 2002
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement ESOP 2017
- Almost-Sure Termination by Guarded Refinement ICFP 2024
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- Analysis of Markov Jump Processes under Terminal Constraints TACAS 2021
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- Decision Tree Learning in CEGIS-Based Termination Analysis CAV 2021
- Relatively complete refinement type system for verification of higher-order non-deterministic programs POPL 2018