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 seeks to enhance the verification of concurrent software by utilizing dependent types to modularize and simplify the verification process. It aims to develop new linguistic abstractions that facilitate the creation of formal proofs for complex, stateful programs.
Verification of concurrent software is a notoriously difficult subject, whose complexities stem from the inability of the existing verification methods to modularize, and thus divide-and-conquer, the verification problem.Dependent types are a formal method well-known for its ability to modularize and scale complex mathematical proofs.
But, when it comes to programming, dependent types are considered limited to the purely functional and terminating programming model.The grand challenge of this pr…
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.
