Project-Team Celtique

Members
Overall Objectives
Scientific Foundations
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


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.