Synthesizing Invariants by Solving Solvable Loops.

Steven de Oliveira, Saddek Bensalem, Virgile Prevosto

Browse the full ATVA paper archive.