Automating Induction with an SMT Solver.

K. Rustan M. Leino

Browse the full VMCAI paper archive.