A Forward-Backward Abstraction Refinement Algorithm
Abstract elided by the publisher.
Related papers
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Forward and Backward Constrained Bisimulations for Quantum Circuits TACAS 2024
- Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation PLDI 2023
- Proving Linearizability Using Forward Simulations CAV 2017
- Sparse Matrix Representations in a Functional Language JFP 1996
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Intertwined Forward-Backward Reachability Analysis Using Interpolants TACAS 2013
- Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification CAV 2002