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 PiCoq project

Participant : Alan Schmitt.

The goal of the PiCoq project is to develop an environment for the formal verification of properties of distributed, component-based programs. The project's approach approach lies at the interface between two research areas: concurrency theory and proof assistants. Achieving this goal relies on three scientific advances, which the project intends to address:

The project partners include INRIA, LIP, and Université de Savoie. The project runs from November 2010 to October 2014.