Diffy: Inductive Reasoning of Array Programs Using Difference Invariants.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Browse the full CAV paper archive.