![Grundlagenerweiterung f. formale Verifikation von Software/Anwendung](https://unibw.de/forschung/projekte/sw_gruve-erweiterung-der-grundlagen-fuer-formale-verifikation-von-software-und-deren-anwendung/@@images/0149e5d1-c74c-410c-be87-61b45d523ea0.jpeg)
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