Section: Contracts and Grants with Industry
ANR CAVERN project
Participants : Arnaud Gotlieb, Matthieu Carlier.
The CAVERN project (ANR, 2007-2011) gathers national research teams to study the capabilities of Constraint Programming for Program Verification (http://cavern.inria.fr/ ). This year, we focussed on WP4 on floating-point computations and got new results with the CeP team of University of Nice Sophia-Antipolis. The overall results of the project will be presented at the annual 2012 ANR meeting in Lyon.