On the Linear Ranking Problem for Simple Floating-Point Loops.

Fonenantsoa Maurica, Frdric Mesnard, tienne Payet

Browse the full SAS paper archive.