Abstraction Refinement of Linear Programs with Arrays
Abstract elided by the publisher.
Related papers
- Abstraction Refinement for Quantified Array Assertions SAS 2009
- HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata TACAS 2017
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Weakest Precondition Inference for Non-Deterministic Linear Array Programs TACAS 2024
- Maximal Quantified Precondition Synthesis for Linear Array Loops ESOP 2024
- Ownership Refinement Types for Pointer Arithmetic and Nested Arrays ECOOP 2026
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- Type-based amortized resource analysis with integers and arrays JFP 2015