Team abstraction

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Contracts and Grants with Industry

Anastasy Contract

Anastasy (ANAlyse STAtique aSYnchone) is an industrial project with Airbus France on static program analysis of asynchronous programs by abstract interpretation which objective is determined annually (Sep. 2009–Aug. 2012). The main work in 2010 was on Thésée , as described in 5.2 . Patrick Cousot is the principal investigator for this action.


previous
next

Logo Inria