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 project focuses on enhancing the reliability and security of computing systems through formal methods. It aims to develop techniques for specifying, verifying, and synthesizing systems to ensure they behave correctly and safely, particularly in early development stages.
Computing systems are getting ever more ubiquitous, making usdependent on their proper functioning.
Therefore we require that theyare correct (i.e. they conform their intended behavior), safe (i.e.itsoperation does not have catastrophic consequences), reliable,available to provide the intended service, and secure (i.e., no userwithout appropriate clearance can access or modify protected data).Guarantees for such charcteristics rely on rigid specification andanalysis techniques for both the requi…
UNIVERSITAT DES SAARLANDES
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Germany, Aachen
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Germany, Dresden
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
IMPERIAL COLLEGE OF SCIENCE TECHNOLOGY AND MEDICINE
United Kingdom, LONDON
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.
