Inria
/
Raweb 2010
Presentation of the Project abstraction
Logo Inria
abstraction
Abstract Interpretation and Static Analysis
2010 Research Team Activity Report
Paris - Rocquencourt
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
Overall Objectives
Highlights
Scientific Foundations
Abstract Interpretation Theory
Formal Verification by Abstract Interpretation
Advanced Introductions to Abstract Interpretation
Application Domains
Certification of Safety Critical Software
Abstraction of Biological Cell Signaling Networks
Software
The Astrée Static Analyzer
Thésée
The Apron Numerical Abstract Domain Library
The Arrayal array content analysis functor
Translation Validation
OpenKappa
New Results
Astrée
Static Analysis of Parallel Software
Numerical Abstractions
Symbolic abstractions
Shape Analysis
Combining Abstractions
Abstract Interpretation of Information Flow
Analysis of Biological Pathways
Contracts and Grants with Industry
Asbaprod Contract
Anastasy Contract
Survol project
Ascert project
Sardanes project
Astrée exploitation license agreement
Other Grants and Activities
AbstractCell ANR
European Initiatives
Dissemination
Interaction with the Scientific Community
Teaching
PhD theses
Participation in Conferences and Seminars
Bibliography
Major publications
Publications of the year
References in notes
