Intertwined Forward-Backward Reachability Analysis Using Interpolants
No abstract available.
Related papers
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Exploiting Adjoints in Property Directed Reachability Analysis CAV 2023
- Craig Interpolation and Reachability Analysis SAS 2003
- Finding Recurrent Sets with Backward Analysis and Trace Partitioning TACAS 2016
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation VMCAI 2011
- Automated backward error analysis for numerical code OOPSLA 2015
- Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs POPL 2000
- A Forward-Backward Abstraction Refinement Algorithm VMCAI 2008