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 develops a methodology for verifying software correctness by creating checkers that assess whether a program produces the correct output for given inputs. It also introduces self-testers and self-correctors to identify and fix bugs in potentially faulty programs, focusing on efficient algorithms based on a…
One of the main challenges of software engineering is verifying the correctness of software.
In this proposal we focus on correctness of the code per input rather than full program verification.
This methodology associates with every function to be computed a new piece of code called a checker, which given any possibly buggy program for the function and an input, “checks” whether the program on this input computes the function correctly.
We further aim on correcting buggy programs using self-tes…
BAR ILAN UNIVERSITY
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.
