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 verification and certification methods to reduce bugs in programs and machines. It aims to develop more efficient algorithms that enhance the automation and effectiveness of existing verification tools.
Software and hardware bugs cost hundreds of millions of euros every year to companies and administrations.
Formal methods like verification provide automatic means of finding some of these bugs.
Certification, using proof assistants like Coq or Isabelle/HOL, make it possible to guarantee the absence of bugs (up to a certain point).These two kinds of tools are crucial in order to design safer programs and machines.
Unfortunately, state-of-the art tools are not yet satisfactory.
Verification tools…
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
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.
