Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier.

K. Rustan M. Leino, Michal Moskal

Browse the full FM paper archive.