@inproceedings{fumex:hal-01534533, TITLE = {{Automating the Verification of Floating-Point Programs}}, AUTHOR = {Fumex, Cl{\'e}ment and March{\'e}, Claude and Moy, Yannick}, URL = {https://inria.hal.science/hal-01534533}, BOOKTITLE = {{9th Working Conference on Verified Software: Theories, Tools and Experiments}}, ADDRESS = {Heidelberg, Germany}, EDITOR = {Andrei Paskevich and Thomas Wies}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {10712}, YEAR = {2017}, MONTH = Jul, KEYWORDS = {Deductive program verification ; Floating-point arithmetic ; Satisfiability Modulo Theory ; Why3 program verifier ; Verification environment SPARK 2014}, PDF = {https://inria.hal.science/hal-01534533/file/article.pdf}, HAL_ID = {hal-01534533}, HAL_VERSION = {v1}, }