
Formula-V: Aufbau eines vollständig formal-verifizierten und vertrauenswürdigen IT-Systems
Das Projekt Formula-V zeigt, wie durch formale Verifikation besonders vertrauenswürdige IT-Systeme entstehen können. Mit mathematisch abgesicherten Methoden werden Software und Hardware so geprüft, dass Sicherheit und Zuverlässigkeit von Beginn an gewährleistet sind. Ziel ist es, digitale Technologien von Grund auf sicher zu gestalten und neue Maßstäbe in der Systementwicklung zu setzen. (Laufzeit: 12/2024 – 12/2028)