ERC Consolidator Grant · 2025
Synthesis of Reactive Programs
The automatic synthesis of correct-by-design systems is considered the holy grail of software development. It promises to revolutionize the traditional process by allowing designers to focus on what the system should do and not on how to develop an implementation with the desired behavior. Reactive synthesis – the automatic construction of systems that maintain an ongoing interaction with their environment – is successfully used in hardware design, as exemplified by case studies like the synthesis of the AMBA AHB bus controller. However, the algorithmic advances behind this success do not extend to the complex, cyber-physical, increasingly autonomous systems ubiquitous today. The main…
From the public funding record at EU CORDIS. Describes the funded project, not the reviews below.
← All labs at Helmholtz Center for Information Security (CISPA)