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.
Výzkumná skupina automatizované analýzy a verifikace (VeriFIT)
- OdvětvíLetecký a kosmický průmysl, Kybernetická bezpečnost, Věda a výzkum, Testovací a měřicí přístroje, Doprava, mobilita a logistika
- InstituceVUT
- Fakulta / InstitutFakulta informačních technologií
- Typ výzkumuAplikovaný, Základní
- Oblast výzkumuFormální metody v AI, Předtrénování a vývoj foundation modelů, Ostatní, Pravděpodobnostní usuzování, Teoretická informatika
logics, automata, decision procedures, Markov chains, probabilistic programs, controller synthesis, memory safety, automated testing, quantum computer simulation
- KontaktAdam Rogalewicz
- Emailrogalew@fit.vut.cz
- Webhttps://www.fit.vut.cz/research/group/verifit/
- AdresaBožetěchova 2, 612 00 Brno