Non-disjunctive Numerical Domain for Array Predicate Abstraction

DOI10.1007/978-3-540-78739-6_14zbMath1133.68314OpenAlexW2167968274MaRDI QIDQ5458394

Xavier Allamigeon

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_14

Mathematics Subject Classification ID

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

Related Items (2)

Inferring Min and Max Invariants Using Max-Plus Polyhedra ⋮ Inferring functional properties of matrix manipulating programs by abstract interpretation

Uses Software

• Octagon

Cites Work

• Unnamed Item
• Affine relationships among variables of a program
• Lifting abstract interpreters to quantified logical domains
• Static Analysis of String Manipulations in Critical Embedded C Programs
• Abstract interpretation and application to logic programs
• Predicate abstraction for software verification
• A framework for numeric analysis of array operations
• Computer Aided Verification
• Programming Languages and Systems
• Shape Analysis for Composite Data Structures
• Array Abstractions from Proofs

This page was built for publication: Non-disjunctive Numerical Domain for Array Predicate Abstraction