The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org, 2016. ,
A tool for checking ansi-c programs, Tools and Algorithms for the Construction and Analysis of Systems, pp.168-176, 2004. ,
Comparing partial consistencies, Reliable Computing, pp.213-228, 1999. ,
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
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
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
Numeric bounds analysis with conflict-driven learning, Tools and Algorithms for the Construction and Analysis of Systems, pp.48-63, 2012. ,
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.
Consistency techniques for numeric csps, Proceedings of the 13th International Joint Conference on Artifical Intelligence, vol.1, pp.232-238, 1993. ,
The objective-cp optimization system. In Principles and Practice of Constraint Programming: 19th International Conference, Proceedings, pp.8-29, 2013. ,
Search strategies for floating point constraint systems, Principles and Practice of Constraint Programming-23rd International Conference, pp.707-722, 2017. ,