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
The ProofCert project aims to enhance formal methods in software and hardware verification by creating a unified framework for proof communication. This will improve the reliability of computer systems by establishing clear correctness properties.
There is little hope that the world will know secure software if wecannot make greater strides in the practice of formal methods:hardware and software devices with errors are routinely turned againsttheir users.
The ProofCert proposal aims at building a foundationthat will allow a broad spectrum of formal methods---ranging fromautomatic model checkers to interactive theorem provers---to worktogether to establish formal properties of computer systems.
Thisproject starts with a wonderful gift to…
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.
