Mendes Oulamara

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The inference and the verification of numerical relationships among variables of a program is one of the main goals of static analysis. In this paper, we propose an Abstract Interpretation framework based on higher-dimensional ellipsoids to automatically discover symbolic quadratic invari-ants within loops, using loop counters as implicit parameters. In(More)
  • 1