Neu entwickelte Projektwebsite von Formula-V
Ab sofort ist das Projekt Formula-V mit seiner eigenen Website online. Dort finden Interessierte Informationen zum Projekt sowie regelmäßig aktualisierte Inhalte zum aktuellen Stand und neuen Entwicklungen. Darüber hinaus werden auf der Seite sämtliche Publikationen zur Verfügung gestellt, die im Laufe des Projektes entstehen und einen vertieften Einblick in die wissenschaftlichen und technischen Ergebnisse ermöglichen.
Ziel des Projekts ist die Entwicklung eines vollständig formal verifizierten Systems. Zu diesem Zweck werden mathematisch-logische Beweisverfahren eingesetzt, mit denen überprüft wird, ob ein System exakt wie vorgesehen funktioniert. Auf diese Weise sollen potenzielle Fehlerquellen und sicherheitsrelevante Schwachstellen bereits frühzeitig im Entwicklungsprozess identifiziert und ausgeschlossen werden.
Der Ansatz zur formalen Verifikation trägt damit entscheidend dazu bei, digitale Systeme zuverlässiger, sicherer und auch längerfristig stabiler zu gestalten.
Mehr Informationen finden sie auf der Projektwebseite: Formula-V
Das Projekt wird finanziert von der Agentur für Innovation in der Cybersicherheit GmbH (Cyberagentur) im Rahmen des Programms „Ökosystem vertrauenswürdige IT – Beweisbare Cybersicherheit (ÖvIT)“.