S. Chaudhuri, S. Gulwani, and &. Roberto-lublinerman, Continuity analysis of programs, pp.57-70, 2010.

S. Chaudhuri, S. Gulwani, R. Lublinerman, and &. Navidpour, Proving programs robust, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.102-11210, 1145.
DOI : 10.1145/2025113.2025131

E. W. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, pp.269-271, 1959.
DOI : 10.1007/BF01386390

I. Gazeau, D. Miller, and &. Palamidessi, A non-local method for robustness analysis of floating point programs, Electronic Proceedings in Theoretical Computer Science, vol.85, 2012.
DOI : 10.4204/EPTCS.85.5

URL : https://hal.archives-ouvertes.fr/hal-00665995

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-47, 1991.
DOI : 10.1145/103162.103163

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.7712

E. Goubault, Static Analyses of the Precision of Floating-Point Operations, Static Analysis, 8th International Symposium, pp.234-259, 2001.
DOI : 10.1007/3-540-47764-0_14

E. Goubault and &. Sylvie-putot, Static Analysis of Finite Precision Computations, Verification, Model Checking, and Abstract Interpretation -12th International Conference, pp.232-24710, 2011.
DOI : 10.1007/978-3-540-24738-8_18

I. Task and P. , Standard for Floating-Point Arithmetic, pp.754-2008, 2008.

R. Majumdar and &. Saha, Symbolic Robustness Analysis, 2009 30th IEEE Real-Time Systems Symposium, pp.355-363, 2009.
DOI : 10.1109/RTSS.2009.17

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.8983

S. Pettersson and &. Bengt-lennartson, Stability and robustness for hybrid systems, Proceedings of 35th IEEE Conference on Decision and Control, pp.1202-1207, 1996.
DOI : 10.1109/CDC.1996.572653

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.6116

E. Jack and . Volder, The CORDIC Trigonometric Computing Technique, IRE Transactions on Electronic Computers EC, issue.8, pp.330-334, 1959.