Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.

Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe

Browse the full CAV paper archive.