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 new algorithms and tools for the automatic synthesis of reactive systems, such as those used in automotive and aerospace applications. By shifting from verification to synthesis, it aims to enhance the reliability of these systems through innovative game-theoretic models and computer-…
Reactive systems are computer systems that maintain a continuous interaction with the environment in which they execute.
Examples of reactive systems are controllers embedded in cars or planes, system level software, device drivers, communication protocols, etc.
On the one hand, those systems are notoriously difficult to develop correctly (because of characteristics like concurrency, real-time constraints, parallelism, etc).
And on the other hand, their correctness is often critical as they a…
UNIVERSITE LIBRE DE BRUXELLES
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.
