
Formula-V: Building a Fully Verified and Trustworthy IT system
The Formula-V project demonstrates how formal verification can lead to particularly trustworthy IT systems. Using mathematically grounded methods, both software and hardware are verified to ensure security and reliability from the very beginning. The aim is to shape digital technologies that are secure by design and to set new standards in system development. (Duration: 12/2024 – 12/2028)