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 SYMELS project aims to enhance software reliability by developing a method for automated reasoning that can prove software error-free. This approach focuses on generating first-order properties to prevent errors during software modifications, improving user trust in technology.
We are living in a world that is increasingly run by software.
Daily activities, such as online banking, mobile communications and air traffic use, are controlled by software.
This software is growing in size and functionality, but its reliability is hardly improving.
We are getting used to the fact that that computer systems are error-prone and insecure.
To (re)gain the trust of end-users in software and Web services, formal automated reasoning is one of the main investments made by ICT compani…
TECHNISCHE UNIVERSITAET WIEN
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.
