Grids: A Domain for Analyzing the Distribution of Numerical Values
From MaRDI portal
Publication:3591087
DOI10.1007/978-3-540-71410-1_16zbMath1196.68042OpenAlexW1782035903MaRDI QIDQ3591087
Katy Dobson, Enea Zaffanella, Matthew Mundell, Roberto Bagnara, Patricia M. Hill
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
Related Items
Inferring Congruence Equations Using SAT, Applying abstract acceleration to (co-)reachability analysis of reactive programs, Abstract interpretation of microcontroller code: intervals meet congruences, An Improved Tight Closure Algorithm for Integer Octagonal Constraints, Quadtrees as an Abstract Domain, Applications of polyhedral computations to the analysis and verification of hardware and software systems
Uses Software
