Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic

This publication has 11 references indexed in Scilit:

• A calculus of logical relations for over- and underapproximating static analyses
  Science of Computer Programming, 2006
• Underapproximating Predicate Transformers
  Published by Springer Nature ,2006
• Static Analysis of Numerical Algorithms
  Published by Springer Nature ,2006
• Proof-guided underapproximation-widening for multi-process systems
  Published by Association for Computing Machinery (ACM) ,2005
• Concrete Model Checking with Abstract Matching and Refinement
  Published by Springer Nature ,2005
• A New Numerical Abstract Domain Based on Difference-Bound Matrices
  Published by Springer Nature ,2001
• Abstract interpretation of reactive systems
  ACM Transactions on Programming Languages and Systems, 1997
• Abstract Interpretation Frameworks
  Journal of Logic and Computation, 1992
• Interval Analysis in the Extended Interval Space IR
  Published by Springer Nature ,1980
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978