Built-in Treatment of an Axiomatic Floating-Point Theory for SMT Solvers.

Sylvain Conchon, Guillaume Melquiond, Cody Roux, Mohamed Iguernelala

Browse the full CADE paper archive.