ANTIQUE - 2014 - Annual activity report

ANTIQUE

ANTIQUE - 2014

Team Antique

Members

Overall Objectives

Research Program

Semantics
Abstract interpretation and static analysis
Applications of the notion of abstraction in semantics
The analysis of biological models

Application Domains

Verification of safety critical embedded software
Static analysis of software components and libraries
Biological systems

New 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
ClangML: A binding with the CLANG C-frontend
FuncTion: An Abstract Domain Functor for Termination
HOO: Heap Abstraction for Open Objects
The MemCADstatic analyzer
The OpenKappa Modeling Plateform
QUICr set abstract domain
Translation Validation
Zarith

New Results

Highlights of the Year
Memory Abstraction
Static analysis of JavaScript applications
Static analysis of Spreadsheet applications
Mechanically Verifying a Shape Analysis
Static Analysis of Embedded Critical Concurrent Software
Inference of Termination and Liveness properties
Numeric Invariant Inference
Bisimulation Metrics
Abstraction of Rule-Based Biological Models
Model checking of Logical Biological Models

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

Section: New Results

Highlights of the Year

Patrick and Radhia Cousot have received in 2014 the IEEE Computer Society IEEE Computer Society Harlan D. Mills award for the invention of abstract interpretation, developpment of tool support and practical application http://www.computer.org/portal/web/awards/cousots .

Previous |

Home | Next next