Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL.

Martin Brain, Vijay Victor D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening

Browse the full SAS paper archive.