VÝZKUMNÁ SKUPINA VeriFIT

VeriFIT je skupinou výzkumníků a studentů z FIT VUT, kteří se zaměřují na výzkum v oblasti metod automatizované analýzy a verifikace systémů a souvisejících formálních a matematických metod. Kromě formální verifikace (statická analýza, abstraktní interpretace, model checking) nás zajímá dynamická analýza (tj. analýzu za běhu systému), inteligentní testování i metody automatického opravování systémů. S tím souvisí řada témat základního teoretického výzkumu zejména konečných automatů a logik.