75 citations · 261 across the 31 of their papers we have counts for
1 paper · 1 filter
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…