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 aims to enhance the reliability of numerical program verification, particularly for safety-critical applications. It proposes a new approach to automate the verification process, focusing on accuracy and providing tools for debugging and improving program specifications.
My goal is to make rigorous numerical verification widely applicable and practically usable.
Rigorous verification proves at compile-time that a program computes for all valid inputs what it is expected to.
It is especially important for numerical programs, which are widely used across application domains and are often safety-critical.
However, automated verification of numerical programs over finite-precision (e.g. floating-point) numbers is currently limited.
Finite precision introduces roundi…
UPPSALA UNIVERSITET
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.
Guests see up to 5 keywords.
