Efficient interpolation for the theory of arrays
From MaRDI portal
Publication:1799115
DOI10.1007/978-3-319-94205-6_36OpenAlexW2963439991MaRDI QIDQ1799115
Jochen Hoenicke, Tanja I. Schindler
Publication date: 18 October 2018
Full work available at URL: https://arxiv.org/abs/1804.07173
Interpolation, preservation, definability (03C40) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (8)
Interpolation and model checking for nonlinear arithmetic ⋮ The map equality domain ⋮ Interpolation Results for Arrays with Length and MaxDiff ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interpolation and amalgamation for arrays with MaxDiff ⋮ Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic ⋮ Reasoning in the theory of heap: satisfiability and interpolation
Uses Software
This page was built for publication: Efficient interpolation for the theory of arrays
