Compositional Termination Analysis of Symbolic Forward Analysis
Abstract elided by the publisher.
Related papers
- Symbolic Optimal Reachability in Weighted Timed Automata CAV 2016
- Termination Analysis with Compositional Transition Invariants CAV 2010
- A Forward Analysis for Recurrent Sets SAS 2015
- Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification VMCAI 2026
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Bit-Precise Procedure-Modular Termination Analysis TOPLAS 2018
- Termination analysis without the tears PLDI 2021
- An abstract interpretation framework for termination POPL 2012