Abstraction-Driven Verification of Array Programs.

David Dharbe, Abdessamad Imine, Silvio Ranise

Browse the full AISC paper archive.