Non-disjunctive Numerical Domain for Array Predicate Abstraction
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1953018 (Why is no real title available?)
- 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
- 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)- Static Analysis in Disjunctive Numerical Domains
- Generic abstraction of dictionaries and arrays
- Automaton-based array initialization analysis
- An abstract domain for trees with numeric relations
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- A framework for numeric analysis of array operations
- Abstraction of arrays based on non contiguous partitions
- The map equality domain
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- A parametric segmentation functor for fully automatic and scalable array content analysis
- Abstraction of Optional Numerical Values
- scientific article; zbMATH DE number 1746686 (Why is no real title available?)
- Relational abstract interpretation of arrays in assembly code
- Sound bit-precise numerical domains
- Permission inference for array programs
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- An array content static analysis based on non-contiguous partitions
- Grids: A Domain for Analyzing the Distribution of Numerical Values
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)
