A Sound Floating-Point Polyhedra Abstract Domain.

Liqian Chen, Antoine Min, Patrick Cousot

Browse the full APLAS paper archive.