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: Bilateral Contracts and Grants with Industry

Contracts with Industry

License agreement

In February 2009 was signed an exploitation license agreement between CNRS, École Normale Supérieure, and AbsInt Angewandte Informatik GmbH for the industrialization of the Astrée analyzer. Astrée is commercially available from AbsInt since January 2010. Continuous work goes on to adapt the Astrée static analyzer to industrial needs, in particular for the automotive industry. Radhia Cousot is the scientific contact.

Previous |

Home | Next next