In a Nutshell
From our phones and buildings to power and communication networks, software is the backbone of our digital society. Ensuring that software systems are reliable and resilient is crucial but challenging.
A key aspect of verifying software is analysing cyclic structures in their behavior. However, the theoretical understanding of many important cyclic structures is still underdeveloped, creating a bottleneck for verification: many critical software systems essential to society cannot be verified.
This project will significantly advance the theory of cyclic structures, providing a robust foundation for the future-proof construction of software systems that are reliable and resilient.
Funding
We gratefully acknowedlge the support of the Dutch Research Council (NWO) under project OCENW.XL.23.089 (Open Competition Domain Science XL, round 2023-2024).