Polynomial Invariant Generation for Floating-Point Programs

Xuran Cai, Liqian Chen, Hongfei Fu

In numeric-intensive computations, it is well known that the execution of floating-point programs is imprecise as floating-point arithmetic incurs round-off errors. Although round-…