Project-Team Celtique

Overall Objectives
Scientific Foundations
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
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 ( ). 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.