The Zonotope Abstract Domain Taylor1+

This publication has 9 references indexed in Scilit:

• Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
  SIAM Journal on Numerical Analysis, 2008
• The octagon abstract domain
  Higher-Order and Symbolic Computation, 2006
• Static Analysis of Numerical Algorithms
  Published by Springer Nature ,2006
• Reachability of Uncertain Linear Systems Using Zonotopes
  Published by Springer Nature ,2005
• Symbolic Methods to Enhance the Precision of Numerical Abstract Domains
  Published by Springer Nature ,2005
• CSDP, A C library for semidefinite programming
  Optimization Methods and Software, 1999
• Zonotope Dynamics in Numerical Quality Control
  Published by Springer Nature ,1998
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977