Property Checking Array Programs Using Loop Shrinking.

Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah

Browse the full TACAS paper archive.