Facilitating Verification in Program Loops by Identification of Static Iteration Patterns.

Aditya Desai, Era Jain, Subhajit Roy

Browse the full APSEC paper archive.