Inria
/
Raweb 2010
Presentation of the Project celtique
Logo Inria
celtique
Software certification with semantic analysis
2010 Research Team Activity Report
Rennes - Bretagne-Atlantique
Field :
Algorithmics, Programming, Software and Architecture
Theme : Programs, Verification and Proofs
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
or
ePub
(
test
) format
Members
Overall Objectives
Project overview
Highlights
Scientific Foundations
Static program analysis
Software certification
Software
Sawja: Static Analysis Workshop for Java Applications
Timbuk: a tree automata library
Euclide: a constraint-based testing platform for critical C programs
New Results
Static Analysis of Object-Oriented Languages
Certified Static Analysis and Compilation
Quantitative Aspects of Static Analysis
Automatic test data generation for Java Bytecode programs
Path infeasibility generalization in dynamic symbolic execution
Automatic testing of constraint programs
Static analysis based on rewriting and tree automata
Contracts and Grants with Industry
Contracts with Industry
Other Grants and Activities
Regional Initiatives
National Initiatives
European Initiatives
Dissemination
Animation of the scientific community
PhD and habilitation theses defended
Teaching
PhD and Habilitation committees
Administrative responsibilities
Bibliography
Major publications
Publications of the year
References in notes
