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 automate program analysis to improve software development efficiency. By developing advanced mathematical techniques and tools, it seeks to enhance the detection of errors in complex software systems, ultimately reducing development costs.
Individuals, industries, and nations are depending on software and systems using software.
Automated approaches are needed to eliminate tedious aspects of software development, helping software developers in dealing with the increasing software complexity.
Automatic program analysis aims to discover program properties preventing programmers from introducing errors while making changes and can drastically cut the time needed for program development.This project addresses the challenge of automati…
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.
