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 CHORDS project aims to enhance the reliability of software systems by developing formal methods for program verification. It focuses on creating mathematical proofs to ensure that software behaves correctly, particularly in distributed systems.
Software systems are critical for the infrastructure of modern society and software errors and security breaches pose enormous costs and risks.
The traditional method of testing software systems is famously inadequate for guaranteeing the absence of errors and security breaches since not all execution paths are covered by testing.
This is espcially true for concurrent and distributed systems, where there are simply too many execution paths to test, and it has motivated research in formal methods…
AARHUS UNIVERSITET
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.
Guests see up to 5 keywords.
