SAFARI: SMT-Based Abstraction for Arrays with Interpolants
No abstract available.
Related papers
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015
- Complete instantiation-based interpolation POPL 2013
- Spatial Interpolants ESOP 2015
- Interpolation and Model Checking for Nonlinear Arithmetic CAV 2021
- Solving and Interpolating Constant Arrays Based on Weak Equivalences VMCAI 2019
- Proof Tree Preserving Interpolation TACAS 2013
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) TACAS 2018
- Satisfiability Modulo Extensional Constant Arrays CAV 2026