Polynomial Invariant Generation for Floating-Point Programs.

Xuran Cai, Liqian Chen, Hongfei Fu

Browse the full CAV paper archive.