Verifying Array Manipulating Programs with Full-Program Induction.

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Browse the full TACAS paper archive.