Static Analysis

DOI10.1007/11547662zbMath1141.68445MaRDI QIDQ5897425

Enea Zaffanella, Roberto Bagnara, Patricia M. Hill, Elena Mazzi

Publication date: 31 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11547662

Mathematics Subject Classification ID

52B55: Computational aspects related to convexity

68U05: Computer graphics; computational geometry (digital and algorithmic aspects)

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• Octagon