Project-Team Celtique
Overall Objectives
Scientific Foundations
New Results
- Control-Flow Analysis by Abstract Interpretation
- Modular SMT Proofs for Fast Reflexive Checking inside Coq
- Secure the Clones: Static Enforcement of Policies for Secure Object Copying
- Fault localization and correction in Constraint Programs
- Floating-point constraint solving
- Fast inference of polynomial invariants
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Celtique
Overall Objectives
Scientific Foundations
New Results
- Control-Flow Analysis by Abstract Interpretation
- Modular SMT Proofs for Fast Reflexive Checking inside Coq
- Secure the Clones: Static Enforcement of Policies for Secure Object Copying
- Fault localization and correction in Constraint Programs
- Floating-point constraint solving
- Fast inference of polynomial invariants
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home