Finding Loop Invariants for Programs over Arrays Using a Theorem Prover.

Laura Kovcs, Andrei Voronkov

Browse the full FASE paper archive.