Simplifying the Verification of Quantified Array Assertions via Code Transformation.

Mohamed Nassim Seghir, Martin Brain

Browse the full LOPSTR paper archive.