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 aims to develop a unified theory for hyperproperties in software systems, focusing on societal values such as privacy, fairness, and explainability. It will create a formal specification language and algorithms for verification and program synthesis, enhancing the analysis of software beyond traditional co…
The central role of information technology in all aspects of our private and professional lives has led to a fundamental change in the type of program properties we care about.
Up to now, the focus has been on functional correctness; in the future, requirements that reflect our societal values, like privacy, fairness, The central role of information technology in all aspects of our private and professional lives has led to a fundamental change in the type of program properties we care about. U…
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 topics.
Guests see up to 5 keywords.
