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 VerCors project aims to enhance the verification of concurrent software by developing a formal logic framework tailored for multithreaded Java programs. It focuses on specifying and verifying concurrent data structures, allowing for flexible implementations while ensuring correctness across different programming la…
Increasing performance demands, application complexity and explicit multi-core parallelism makes concurrency omnipresent in software applications.
However, due to the complex interferences between threads in an application, concurrent software is also notoriously hard to get correct.
Instead of spending large amounts of money to fix incorrect software, formal techniques are needed to reason about the behaviour of concurrent programs.In earlier work, we developed a variant of permission-based sep…
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.
