Section: Overall Objectives

Highlights

The paper “Static Analysis and Verification of Aerospace Software by Abstract Interpretation”, written by the team [1] , has been selected in 2011 by the AIAA Intelligent Systems Technical Committee as the Best Paper from the AIAA 2010 Infotech@Aerospace Conference.

The MemCAD ERC Starting Grant (“Memory Compositional Abstract Domains”) was started on October, 1st. 2011 (funded by the European Research Counsil “IDEAS” programme).