Mixing Forward and Backward Traversals in Guided-Prioritized BDD-Based Verification
No abstract available.
Related papers
- Understanding idiomatic traversals backwards and forwards Haskell 2013
- Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification CAV 2000
- Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation PLDI 2023
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Intertwined Forward-Backward Reachability Analysis Using Interpolants TACAS 2013
- A Forward-Backward Abstraction Refinement Algorithm VMCAI 2008
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- C-SHORe: a collapsible approach to higher-order verification ICFP 2013