Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
From MaRDI portal
Publication:845242
DOI10.1007/s10703-009-0073-1zbMath1185.68405MaRDI QIDQ845242
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
Publication date: 5 February 2010
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-009-0073-1
UTVPI constraints; Closure by entailment; Elimination of redundant constraints; Keywords: Abstract interpretation; Numerical domains; Widening operators
68Q60: Specification and verification (program logics, model checking, etc.)
68M99: Computer system organization
Uses Software