The map equality domain

DOI10.1007/978-3-030-03592-1_17zbMath1403.68039OpenAlexW2901364762MaRDI QIDQ1629967

Alexander Nutz, Jochen Hoenicke, Andreas Podelski, Matthias Heizmann, Daniel Dietsch

Publication date: 7 December 2018

Full work available at URL: https://doi.org/10.1007/978-3-030-03592-1_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Efficient interpolation for the theory of arrays
• An Abstract Domain of Uninterpreted Functions
• Weakly Equivalent Arrays
• Variations on the Common Subexpression Problem
• Systematic design of program transformation frameworks by abstract interpretation
• Loop Invariants from Counterexamples
• The MathSAT5 SMT Solver
• A parametric segmentation functor for fully automatic and scalable array content analysis
• An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Verification, Model Checking, and Abstract Interpretation
• An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic