Abstract Acceleration of General Linear Loops

Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan

We present abstract acceleration techniques for computing loop invariants for numerical programs with linear assignments and conditionals. Whereas abstract interpretation technique…