Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations.

Markus Schordan, Pei-Hung Lin, Daniel J. Quinlan, Louis-Nol Pouchet

Browse the full ISoLA paper archive.