Non-disjunctive Numerical Domain for Array Predicate Abstraction
From MaRDI portal
Recommendations
Cites work
- A framework for numeric analysis of array operations
- Abstract interpretation and application to logic programs
- Affine relationships among variables of a program
- Array Abstractions from Proofs
- Computer Aided Verification
- scientific article; zbMATH DE number 1953018 (Why is no real title available?)
- Lifting abstract interpreters to quantified logical domains
- Predicate abstraction for software verification
- Programming Languages and Systems
- Shape Analysis for Composite Data Structures
- Static Analysis of String Manipulations in Critical Embedded C Programs
Cited in
(18)- The map equality domain
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Automaton-based array initialization analysis
- Sound bit-precise numerical domains
- Abstraction of Optional Numerical Values
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Grids: A Domain for Analyzing the Distribution of Numerical Values
- Static Analysis in Disjunctive Numerical Domains
- scientific article; zbMATH DE number 1746686 (Why is no real title available?)
- Generic abstraction of dictionaries and arrays
- Abstraction of arrays based on non contiguous partitions
- A framework for numeric analysis of array operations
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Permission inference for array programs
- An abstract domain for trees with numeric relations
- Relational abstract interpretation of arrays in assembly code
- An array content static analysis based on non-contiguous partitions
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
This page was built for publication: Non-disjunctive Numerical Domain for Array Predicate Abstraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458394)
