C Analysis Toolbox
The goal of the project is to develop an open-source toolkit for analysing industrial-size C programs during development, verification,
maintenance and evolution. We address the following issues:
- reusability of components;
-threats detection (division by zero), fault propagation and proof of global properties;
- dependance analysis (control and data flow) for documentation and detection of the impact of modifications.
Research activities
Verification Program proof Programming Logic
Participants
FILLIÂTRE Jean-ChristopheMARCHÉ Claude
