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 explores 'correct by construction' programming, which integrates logical proofs into software development, ensuring error-free programs. It aims to establish the necessary logical frameworks for programming languages, enhancing software reliability without the need for extensive testing.
As software becomes ever more ubiquitous in our lives, the need to ensure it runs without error becomes ever more important.
Restarting a phone is a simple, if inconvenient task; restarting an aeroplane in mid-flight is not an option!Correct by construction programming offers a revolutionary approach to program verification where programs can contain not just computations as is normal, but also logical proofs of the correctness of these computations.
The simple fact that such programs compile p…
UNIVERSITY OF LEEDS
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
United Kingdom, Glasgow
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
United Kingdom, Swansea
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Sweden, Stockholm
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Germany, Siegen
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
