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.