@techreport{thiminhtuyen:inria-00602266, TITLE = {{Proving Floating-Point Numerical Programs by Analysis of their Assembly Code}}, AUTHOR = {Thi Minh Tuyen, Nguyen and March{\'e}, Claude}, URL = {https://inria.hal.science/inria-00602266}, TYPE = {Research Report}, NUMBER = {RR-7655}, PAGES = {61}, INSTITUTION = {{INRIA}}, YEAR = {2011}, MONTH = Jun, KEYWORDS = {Formal Specification ; Proof ; assembly code ; floating-point computations}, PDF = {https://inria.hal.science/inria-00602266/file/main.pdf}, HAL_ID = {inria-00602266}, HAL_VERSION = {v1}, }