Grundlagenerweiterung f. formale Verifikation von Software/Anwendung

12 Oktober 2020

Prof. Dr. Gunnar Teege, Forschungszentrum CODE hat beim Bayerischen Staasministerium für Wirtschaft, Landesentwicklung und Energie das Projekt "SW_GruVe Erweiterung der Grundlagen für formale Verifikation von Software und deren Anwendung" eingeworben.

Laufzeit: 01.10.2020 bis 31.12.2022
Förderer: Bay. Stm. f. Wirtschaft, Landesentwicklung und Energie - Fördermaßnahme Digitalisierung - Informations- und Kommunikationstechnologie


In diesem Projekt sollen Werkzeuge zur formalen Verifikation von Software weiter entwickelt und besonders sicherheitskritische Betriebssystemkomponenten exemplarisch formal verifiziert werden.


Bildquelle: © iStockphoto / metamorworks