Deciding floating-point logic with systematic abstraction.

Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening

Browse the full FMCAD paper archive.