@inproceedings{martel:hal-00813002, TITLE = {{RangeLab: a Static-Analyzer to Bind the Accuracy of Finite-Precision Computations}}, AUTHOR = {Martel, Matthieu}, URL = {https://hal.science/hal-00813002}, BOOKTITLE = {{SYNASC: Symbolic and Numeric Algorithms for Scientific Computing}}, ADDRESS = {Timisoara, Romania}, PUBLISHER = {{IEEE}}, PAGES = {118-122}, YEAR = {2011}, MONTH = Sep, KEYWORDS = {formal verification ; fixed-point arithmetic ; floating-point arithmetic ; numerical stability}, PDF = {https://hal.science/hal-00813002/file/synasc11.pdf}, HAL_ID = {hal-00813002}, HAL_VERSION = {v1}, }