Learn More
Affine forms are a common way to represent convex sets of R using a base of error terms ǫ P r´1, 1s m. Quadratic forms are an extension of affine forms enabling the use of quadratic error terms ǫiǫj. In static analysis, the zonotope domain, a relational abstract domain based on affine forms has been used in a wide set of settings, e.g. set-based simulation(More)
  • 1