CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project focuses on improving static analysis techniques for memory-intensive software, aiming to enhance the reliability and certification of such applications. By decomposing complex memory properties into simpler components, it seeks to enable scalable and effective software verification.
Every year, software bugs cost hundreds of millions of euros to compagnies and administrations. A number of disasters such as the Ariane 5 first flight failure can are due to faulty softwares.
Static analysis aims at computing automatically properties of softwares, so as to prove they are exempt from some class of bugs.
In the last ten years, static analysis of numeric intensive applications improved dramatically so that the certification of safety properties like the absence of runtime errors i…
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
