Memory Compositional Abstract Domains:<br/>Certification of Memory Intensive Critical Softwares

Project Information

MEMCAD

Grant agreement ID: 278673

Project closed

Start date 1 October 2011

End date 30 September 2017

Funded under

• Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)

Total cost € 1 489 663,00

EU contribution € 1 489 663,00

Coordinated by

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France