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

Laura Kovcs, Andrei Voronkov

Browse the full SYNASC paper archive.