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 software reliability by developing advanced static analysis tools. It aims to assist programmers in identifying and eliminating bugs in complex software systems, particularly in low-level C programs, using verified techniques.
Computer software pervades our life but far too much of it contains programming errors (bugs).
Software is more and more complex and such errors are unavoidable if programmers are not accompanied with some tools that help auditing software codes.
Static analysis is an increasingly popular technique that aims at automatically compute properties of software.
These properties then help finding bugs, or proving absence of them.
Industrial static analysers are flourishing.
Facebook, Google, Microsoft…
ECOLE NORMALE SUPERIEURE DE RENNES
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
France, RENNES
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
