AbsInt and IMDEA signed an agreement to collaborate on the development of the ASTREE static analyzer, commercialized by AbsInt and in use by several companies (including for example AirBus) in the verification of absence of failures in critical software. On the IMDEA side the research will be led by Laurent Mauborgne. The project, which should allow ASTREE to cope with a broader class of programs, will be funded by AbsInt.