Indexed Predicate Discovery for Unbounded System Verification
No abstract available.
Related papers
- Sound and Complete Invariant-Based Heap Encodings OOPSLA 2026
- Regular Abstractions for Array Systems POPL 2024
- Path invariants PLDI 2007
- Adequacy for Predicate Transformer Semantics ICFP 2026
- Predicate abstraction for software verification POPL 2002
- Predicate abstraction and refinement for verifying multi-threaded programs POPL 2011
- A framework for numeric analysis of array operations POPL 2005
- Delay-Bounded Scheduling Without Delay! CAV 2021