Výzkumná skupina automatizované analýzy a verifikace (VeriFIT)

VeriFIT je skupinou, kteří se zaměřují na výzkum v oblasti metod automatizované analýzy a verifikace systémů. Zájem skupiny zahrnuje formální analýzu a verifikaci (statická analýza, abstraktní interpretace, model checking), dynamickou analýzu (tj. analýzu za běhu systému), inteligentní testování i metody automatického opravování systémů. Skupina se zabývá základním výzkumem v uvedených oblastech, ale také vývojem prototypových verifikačních nástrojů a jejich ověřováním na vhodných případových studiích.