Loop Invariants on Demand.

K. Rustan M. Leino, Francesco Logozzo

Browse the full APLAS paper archive.