AbsInt e IMDEA Software firman un acuerdo para colaborar en el desarrollo del analizador estático ASTREE, comercializado por AbsInt y en uso por numerosas compañías (entre las que se encuentra por ejemplo AirBus) para la verificación de ausencia de fallos en programas críticos. Por parte de IMDEA la investigación será liderada por Laurent Mauborgne. El objetivo de la investigación, que proveera a ASTREE con características para analizar programas más complejos, será financiado por AbsInt.
