Grids: A Domain for Analyzing the Distribution of Numerical Values

DOI10.1007/978-3-540-71410-1_16MaRDI QIDQ3591087zbMATH OpenOpenAlexFDO

Authors Roberto Bagnara, Katy Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_16

Mathematics Subject Classification ID

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

Recommendations

• Static Analysis
• The octahedron abstract domain
• scientific article; zbMATH DE number 1738295
• Non-disjunctive Numerical Domain for Array Predicate Abstraction
• scientific article; zbMATH DE number 1948392

Cited in

(6)

• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Abstract interpretation of microcontroller code: intervals meet congruences
• Quadtrees as an abstract domain
• Inferring Congruence Equations Using SAT
• Applying abstract acceleration to (co-)reachability analysis of reactive programs
• An Improved Tight Closure Algorithm for Integer Octagonal Constraints

Describes a project that uses

Uses Software

• PolyLib

This page was built for publication: Grids: A Domain for Analyzing the Distribution of Numerical Values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591087)