Main
Home Page
Welcome to the home page of the « Confidence, Proof and Probabilities » (CPP) project, funded by the French national research agency (ANR), as part of the Programme Blanc.
In the context of proofs of safety properties for critical software, The CPP project proposes to study the joint use of probabilistic and formal (deterministic) semantics and analysis methods, in a way to improve the applicability and precision of static analysis methods on numerical programs.
The goal of this web-site is to collect all informations relevant to the project:
- in the Documents page is a list of all interesting publications by the partners of the project on subjects linked with the CPP project
- in the Partners page you may find a short description of all teams participating to the project.
- in the Meetings page you may find a list of all future and past meetings of the CCP project partners as well as the slides of the presentations.
Contact
The scientific coordinator of the project is Jean Goubault-Larrecq, together with Olivier Bouissou.