Informace o projektu
Automatizace formální verifikace
(AUFOVER)
- Kód projektu
- TH04010192
- Období řešení
- 1/2019 - 12/2021
- Investor / Programový rámec / typ projektu
-
Technologická agentura ČR
- EPSILON
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba prof. Ing. Tomáš Vojnar, Ph.D.
- Odpovědná osoba Kamil Dudka
- Odpovědná osoba Mgr. Tomáš Kratochvíla
Projekt AUtomatická FOrmální VERifikace (AUFOVER) reaguje na stále vyšší potřebu rychlé a kvalitní verifikace software, která se provádí v rámci životního cyklu vývoje. Univerzitní partneři projektu v minulých letech rozvinuly na základě formálních matematických metod inovativní způsob verifikace, o který projevili zájem průmysloví partneři (Honeywell a Red Hat) ve smyslu jeho integrace do svých verifikačních procesů, s cílem automaticky detekovat chyby, které se v současnosti nalézají pouze manuálně. Tento projekt by měl přispět k navázání efektivní spolupráce univerzit a průmyslových partnerů, kteří budou zároveň vystupovat v roli aplikačních garantů a budou schopni věrohodně zhodnotit očekávané přínosy poznatků a výstupů projektu, včetně vyčíslení dosažených úspor.