Maximal Quantified Precondition Synthesis for Linear Array Loops.

Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza

Browse the full ESOP paper archive.