Symbolic execution of floating-point computations. Software Testing, Verification and Reliability, pp.97-121, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00540299
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL, Proc. of 20th Int. Symposium SAS, 2013. ,
DOI : 10.1007/978-3-642-38856-9_22
A Sound Floating-Point Polyhedra Abstract Domain, Proc. of APLAS '08, pp.3-18, 2008. ,
DOI : 10.1007/3-540-45013-0_7
URL : https://hal.archives-ouvertes.fr/hal-00531567
A Tool for Checking ANSI-C Programs, TACAS, pp.168-176, 2004. ,
DOI : 10.1007/978-3-540-24730-2_15
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
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software, FMICS, pp.53-69, 2009. ,
DOI : 10.1007/978-3-642-04570-7_6
Numeric bounds analysis with conflict-driven learning, Proc. TACAS, pp.48-63, 2012. ,
What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, issue.1, pp.5-48, 1991. ,
DOI : 10.1145/103162.103163
Robustness Analysis of Finite Precision Implementations, Programming Languages and Systems -11th Asian Symposium, APLAS, pp.50-57, 2013. ,
DOI : 10.1007/978-3-319-03542-0_4
Algorithm 852, ACM Transactions on Mathematical Software, vol.32, issue.1, pp.138-156, 2006. ,
DOI : 10.1145/1132973.1132980
URL : https://hal.archives-ouvertes.fr/hal-00480813
Deciding floating-point logic with systematic abstraction, Formal Methods in Computer- Aided Design, FMCAD, pp.131-140, 2012. ,
Improving the Floating Point Addition and Subtraction Constraints, CP, pp.360-367, 2010. ,
DOI : 10.1007/978-3-642-15396-9_30
Exact projection functions for floating-point number constraints, 7th International Symposium on Artificial Intelligence and Mathematics, 2002. ,
Solving Constraints over Floating-Point Numbers, Proc.of CP 2001, pp.524-538, 2001. ,
DOI : 10.1007/3-540-45578-7_36
URL : http://www.essi.fr/~rueher/HomePage/cspf1.ps
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques, 18th International Conference on Principles and Practice of Constraint Programming, pp.593-607, 2012. ,
DOI : 10.1007/978-3-642-33558-7_43
URL : https://hal.archives-ouvertes.fr/hal-01099512
Verifying floating-point programs with constraint programming and abstract interpretation techniques, Automated Software Engineering, vol.34, issue.1, pp.191-217, 2016. ,
DOI : 10.1007/978-3-642-35873-9_26
URL : https://hal.archives-ouvertes.fr/hal-00860681