François Bobot, Zakaria Chihani, Bruno Marre. Real Behavior of Floating Point. In Martin Brain, Liana Hadarean, editors, Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Coference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22 - 23, 2017. Volume 1889 of CEUR Workshop Proceedings, pages 50-62, CEUR-WS.org, 2017. [doi]
Abstract is missing.