Alexis Werey

  • Citations Per Year
Learn More
Affine forms are a common way to represent convex sets of R using a base of error terms ǫ P r ́1, 1s. 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. setbased simulation(More)
  • 1