ABSTRACTION - 2012 - Annual activity report

ABSTRACTION

ABSTRACTION - 2012

Project-Team Abstraction

Members

Overall Objectives

Overall Objectives
Highlights of the Year

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 Apron Numerical Abstract Domain Library
The Astrée Static Analyzer of Synchronous Software
The AstréeA Static Analyzer of Asynchronous Software
The OpenKappa modeling plateform
Translation Validation
Zarith

New Results

Analysis of Biological Pathways
Leakage Analysis
Termination
Probabilistic Abstract Interpretation
Formal Verification by Abstract Interpretation
Static Analysis of Parallel Software
Static Analysis of Bit-Level Machine Integer and Floating-Point Operations
Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations
A Constraint Solver Based on Abstract Domains
Automatic Inference of Necessary Preconditions
Inference of Necessary Field Conditions with Abstract Interpretation
TreeKs: A Functor to Make Numerical Abstract Domains Scalable
An Abstract Domain to Infer Types over Zones in Spreadsheets
Hierarchical Abstraction of Dynamic Structures
Reduced Product Combination of Abstract Domains for Shapes

Bilateral Contracts and Grants with Industry

Contracts with Industry
Grants with Industry

Partnerships and Cooperations

National Initiatives
European 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

Antoine Miné was the program cochair and the local organizer of the 19th international statis analysis symposium (SAS 2012) in Deauville, September 11–13 2012 and Radhia Cousot is the program chair the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013) in Roma, January 23–25 2013.

Previous |

Home | Next next