Abstraction Refinement for Quantified Array Assertions
Abstract elided by the publisher.
Related papers
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Verifying Array Manipulating Programs by Tiling SAS 2017
- Abstraction Refinement of Linear Programs with Arrays TACAS 2007
- Program verification using templates over predicate abstraction PLDI 2009
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions ECOOP 2025
- A Simple Abstraction of Arrays and Maps by Program Translation SAS 2015
- 2LS: Arrays and Loop Unwinding - (Competition Contribution) TACAS 2023