F. A. and J. E. Falk, Jointly constrained biconvex programming, Mathematics of Operations Research, vol.8, issue.2, pp.273-286, 1983.

A. Armando, J. Mantovani, and L. Platania, Bounded model checking of software using SMT solvers instead of SAT solvers, International Journal on Software Tools for Technology Transfer, vol.31, issue.1, pp.69-83, 2009.
DOI : 10.1007/s10009-008-0091-0

A. Biere, A. Cimatti, E. M. Clarke, and Y. Zhu, Symbolic Model Checking without BDDs, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99, pp.193-207, 1999.
DOI : 10.1007/3-540-49059-0_14

G. Borradaile and P. Van-hentenryck, Safe and tight linear estimators for global optimization, Mathematical Programming, 2005.
DOI : 10.1007/s10107-004-0533-8

B. Botella, A. Gotlieb, and C. Michel, Symbolic execution of floating-point computations, Software Testing, Verification and Reliability, vol.14, issue.2, pp.97-121, 2006.
DOI : 10.1002/stvr.333
URL : https://hal.archives-ouvertes.fr/inria-00540299

E. Clarke and D. Kroening, Ansi-c bounded model checker user manual, 2006.

M. Héì-ene-collavizza, P. Rueher, and . Hentenryck, CPBPV: a constraint-programming framework for bounded program verification, Constraints, vol.404, issue.3, pp.238-264, 2010.
DOI : 10.1007/s10601-009-9089-9

L. Cordeiro, B. Fischer, and J. Marques-silva, Smt-based bounded model checking for embedded ansi-c software, IEEE Transactions on Software Engineering, 2011.

C. Patrick, C. Radhia, F. Jerome, M. Antoine, M. Laurent et al., Varieties of static analyzers: A comparison with astree, Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, pp.3-20, 2007.

K. Malay, A. Ganai, and . Gupta, Accelerating high-level bounded model checking, Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design, ICCAD '06, pp.794-801, 2006.

K. Ghorbal, E. Goubault, and S. Putot, A Logical Product Approach to Zonotope Intersection, Computer Aided Verification, pp.212-226, 2010.
DOI : 10.1007/978-3-642-14295-6_22

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, ISSTA, pp.53-62, 1998.

A. Gotlieb, B. Botella, and M. Rueher, A CLP Framework for Computing Structural Test Data, Computational Logic, volume 1861 of Lecture Notes in Computer Science, pp.399-413, 2000.
DOI : 10.1007/3-540-44957-4_27

Y. Lebbah, C. Michel, M. Rueher, D. Daney, and J. Merlet, Efficient and Safe Global Constraints for Handling Numerical Constraint Systems, SIAM Journal on Numerical Analysis, vol.42, issue.5
DOI : 10.1137/S0036142903436174
URL : https://hal.archives-ouvertes.fr/hal-00907765

G. P. Mccormick, Computability of global solutions to factorable nonconvex programs: Part I ??? Convex underestimating problems, Mathematical Programming, pp.147-175, 1976.
DOI : 10.1287/mnsc.17.11.759

C. Michel, Y. Lebbah, and M. Rueher, Safe embedding of the simplex algorithm in a CSP framework, Proc. of 5th Int. Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems CPAIOR 2003, pp.210-220, 2003.

C. Michel, Exact projection functions for floating point number constraints (pdf), AMAI, 2002.

C. Michel, M. Rueher, and Y. Lebbah, Solving Constraints over Floating-Point Numbers, Lecture Notes in Computer Science, vol.2239, pp.524-538, 2001.
DOI : 10.1007/3-540-45578-7_36

A. Miné, Weakly Relational Numerical Abstract Domains, 2004.

A. Neumaier and O. Shcherbina, Safe bounds in linear and mixed-integer linear programming, Mathematical Programming, vol.99, issue.2, pp.99283-296, 2004.
DOI : 10.1007/s10107-003-0433-3

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

O. Ponsini, C. Michel, and M. Rueher, Refining abstract interpretation-based approximations with a floating-point constraint solver, NSV-2011: Fourth International Workshop on Numerical Software Verification, Cliff Lodge, 2011.

S. Hong, N. V. Ryoo, and . Sahinidis, A branch-and-reduce approach to global optimization, Journal of Global Optimization, pp.107-138, 1996.