Automatic induction proofs of data-structures in imperative programs.

Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh

Browse the full PLDI paper archive.