Login
Projektleitung:
Prof.
Institut:
INF 3 - Institut für Technische Informatik
Fakultät:
Fakultät für Informatik
Ansprechpartner:
AkadOR Volker Eiseler
Forschungszentrum:
CODE
Projektbezeichnung:
SW_GruVe
Erweiterung der Grundlagen für formale Verifikation von Software und deren Anwendung
Projektbeschreibung:
In diesem Projekt sollen Werkzeuge zur formalen Verifikation von Software weiter entwickelt und besonders sicherheitskritische Betriebssystemkomponenten exemplarisch formal verifiziert werden.
Drittmittelgeber:
Bay. Stm. f. Wirtschaft, Landesentwicklung und Energie
Datum Projektbeginn:
01.10.2020
Datum Projektende:
31.12.2022
BibTeX