ABSTRACTION - 2013 - Annual activity report

ABSTRACTION

ABSTRACTION - 2013

Project-Team Abstraction

Members

Overall Objectives

Overall Objectives
Highlights of the Year

Research Program

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 and Platforms

The Apron Numerical Abstract Domain Library
The Astrée Static Analyzer of Synchronous Software
The AstréeA Static Analyzer of Asynchronous Software
The MemCAD static analyzer
A New Tactic Engine for Coq
FuncTion: An Abstract Domain Functor for Termination
The OpenKappa Modeling Plateform
Translation Validation
Zarith

New Results

Analysis of Biological Pathways
Andromeda: Accurate and Scalable Security Analysis of Web Applications
Backward analysis
Bisimulation metrics
A Constraint Solver Based on Abstract Domains
A Galois Connection Calculus for Abstract Interpretation
Mechanically Verifying a Shape Analysis
Modular Construction of Shape-Numeric Analyzers
Reduced Product Combination of Abstract Domains for Shapes
Relational Thread-Modular Static Value Analysis
Static Analyzers on the Cloud
Termination

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Scientific Animation
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: Overall Objectives

Highlights of the Year

Patrick and Radhia Cousot have received in 2013 the SIGPLAN Achievement award, for the invention, development, and application of abstract interpretation http://www.sigplan.org/Awards/Achievement/Main .

Previous |

Home | Next next