EN FR
EN FR




Bilateral Contracts and Grants with Industry
Bibliography




Bilateral Contracts and Grants with Industry
Bibliography


Section: Bilateral Contracts and Grants with Industry

Contracts with Industry

License agreement

Astrée

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.