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 focuses on developing advanced methods for automated system synthesis, aiming to create reliable, correct-by-construction systems for complex environments. It addresses the challenges of quality assurance and complexity in synthesis, enhancing the integration of automated processes in safety-critical appli…
The rapid development of complex and safety-critical systems requires reliable verification methods.
In automated synthesis, we transform a specification into a correct-by-construction system.
In recent years, there have been significant advances in the algorithmic front of synthesis.
Still, the integration of synthesis in industry has been slow.
This project addresses two critical reasons why synthesis has been hindered.
First, while verification offers designers a tool to check their designs,…
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 topics.
Guests see up to 5 keywords.
