Informace o projektu

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.