C. Barrett, P. Fontaine, and C. Tinelli, The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org, 2016.

E. Clarke, D. Kroening, and F. Lerda, A tool for checking ansi-c programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004.

H. Collavizza, F. Delobel, and M. Rueher, Comparing partial consistencies, Reliable Computing, pp.213-228, 1999.

H. Collavizza, C. Michel, and M. Rueher, Searching critical values for floating-point programs, Testing Software and Systems-28th IFIP WG 6.1 International Conference, ICTSS 2016, pp.209-217, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01643710

H. Collavizza, M. Rueher, and P. Van-hentenryck, Cpbpv: A constraint-programming framework for bounded program verification, Constraints, vol.15, issue.2, pp.238-264, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01099509

N. Damouche, M. Martel, P. Panchekha, C. Qiu, A. Sanchez-stern et al., Toward a standard benchmark format and suite for floating-point analysis, Numerical Software Verification, pp.63-77, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621756

D. Vijay, L. Silva, D. Haller, M. Kroening, and . Tautschnig, Numeric bounds analysis with conflict-driven learning, Tools and Algorithms for the Construction and Analysis of Systems, pp.48-63, 2012.

D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Comput. Surv, vol.23, issue.1, pp.5-48, 1991.

, IEEE standard for binary floating-point arithmetic, ANSI/IEEE Standard, vol.754, 2008.

O. Lhomme, Consistency techniques for numeric csps, Proceedings of the 13th International Joint Conference on Artifical Intelligence, vol.1, pp.232-238, 1993.

P. Van-hentenryck and L. Michel, The objective-cp optimization system. In Principles and Practice of Constraint Programming: 19th International Conference, Proceedings, pp.8-29, 2013.

H. Zitoun, C. Michel, M. Rueher, and L. Michel, Search strategies for floating point constraint systems, Principles and Practice of Constraint Programming-23rd International Conference, pp.707-722, 2017.