Satisfiability Modulo Structures as Constraint Satisfaction : An Introduction. Procs of, 2007. ,
Abstraction Refinement of Linear Programs with Arrays, Proceedings of TACAS 2007, pp.373-388 ,
DOI : 10.1007/978-3-540-71209-1_29
Bounded Model Checking of C Programs using a SMT solver instead of a SAT solver, Proc. SPIN'06, pp.146-162 ,
Symbolic execution of floating-point computations . Software Testing, Verification and Reliability, pp.97-121, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00540299
Rajamani Boolean and Cartesian Abstraction for Model Checking C Programs, Proc. of TACAS, 2001. ,
A Tool for Checking ANSI-C Programs, LNCS, vol.2988, pp.168-176, 2004. ,
DOI : 10.1007/978-3-540-24730-2_15
Predicate Abstraction of ANSI-C Programs Using SAT, Formal Methods in System Design, vol.25, issue.2/3, pp.105-127, 2004. ,
DOI : 10.1023/B:FORM.0000040025.89719.f3
Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991. ,
DOI : 10.1145/115372.115320
Software Verification using Constraint Programming Techniques, Procs of TACAS 2006, pp.182-196 ,
Exploring different constraint-based modelings for program verification Procs of CP, LNCS, vol.3920, pp.182-196, 2007. ,
Comparison between CPBPV with ,
A Fast Linear-Arithmetic Solver for DPLL(T), LNCS, vol.4144, pp.81-94, 2006. ,
DOI : 10.1007/11817963_11
Automatic software model checking via constraint logic, Science of Computer Programming, vol.50, issue.1-3, pp.253-270, 2004. ,
DOI : 10.1016/j.scico.2004.01.006
URL : http://doi.org/10.1016/j.scico.2004.01.006
The Why, Caduceus Platform for Deductive Program Verification Proc. CAV'2007, pp.173-177 ,
Automatic Test Data Generation using Constraint Solving Techniques, Proc. ISSTA 98, 1998. ,
DOI : 10.1145/271771.271790
Finding Bugs with a Constraint Solver, ACM SIGSOFT Symposium on Software Testing and Analysis, pp.14-15, 2000. ,
Generalized Symbolic Execution for Model Checking and Testing, TACAS 2003 ,
DOI : 10.1007/3-540-36577-X_40
A filtering algorithm for constraints of difference in CSPs, pp.362-367, 1994. ,
Automatic test data generation for programs with integer and float variables, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001. ,
DOI : 10.1109/ASE.2001.989786
Constraint Satisfaction in Logic Programming, 1989. ,
A Modeling Language for Global Optimization Pascal Van Hentenryck, 1997. ,