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

Asbaprod Contract

Asbaprod (ASsurance BAsée PRODduit) is an industrial project with Airbus France on static program analysis of synchronous programs by abstract interpretation which objective is determined annually (Sep. 2005–Aug. 2009). The main work in 2010 was on Astrée , as described in Sect. 5.1 . Patrick Cousot is the principal investigator for this action.


previous
next

Logo Inria