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 developing a deductive verifier for probabilistic programs, addressing the challenges of program correctness in the context of randomness. It aims to enhance software tools for applications in fields like AI, security, and data analysis, facilitating commercial use and innovation.
Program correctness is a central problem in computer science.
Code inspection and testing can reveal many program bugs, but subtle errors need a rigorous analysis. A fully automated analysis is impossible: deciding whether a program terminates on a given input is undecidable.
Thanks to unremitting developments in program verification and incredible advancements in satisfiability checking, program verification is nowadays supported by software tools in industrial practice.
Meta and Amazon Web Se…
RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
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.
