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 Mopsa project focuses on enhancing software reliability by developing static analysis tools that detect programming errors at compile-time. By utilizing abstract interpretation, it aims to improve the safety of complex software systems, particularly in open-source applications.
The Mopsa project aims at creating methods and tools to make computer software more reliable.Programming errors are pervasive with results ranging from user frustration to huge economical or human losses.
Traditional test-based methods are insufficient to eliminate all errors.
The project will develop static analyses able to detect at compile-time whole classes of program defects, leveraging the theory of abstract interpretation to design analyses that are approximate (to scale up to large progr…
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.
