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

Členové skupiny

Češka Milan, prof. RNDr., CSc., UITS FIT VUT
	teorie formálních jazyků a automatů formání specifikace teorie a aplikace Petriho sítí modelování a simulace
Dudka Kamil, Ing., UITS FIT VUT
Fiedor Jan, Ing., UITS FIT VUT
Holík Lukáš, Mgr., Ph.D., UITS FIT VUT
Hrubá Vendula, Ing., UITS FIT VUT
Charvát Lukáš, Ing., UITS FIT VUT
Křena Bohuslav, Ing., Ph.D., UITS FIT VUT
	Formalní analýza a verifikace
Lengál Ondřej, Ing., UITS FIT VUT
Letko Zdeněk, Ing., Ph.D., VCIT FIT VUT
	Operační systémy, Java. Vícevláknové zpracování - programování, analýza, testování a léčení.
Müller Petr, Ing., UITS FIT VUT
	formální verifikace operační systémy programovací jazyky quality assurance automatizace testování
Peringer Petr, Dr. Ing., UITS FIT VUT
	Modelování a simulace Verifikace programů Objektově-orientované programování, návrhové vzory Programovací jazyky C a C++
Rogalewicz Adam, Mgr., Ph.D., UITS FIT VUT
Smrčka Aleš, Ing., Ph.D., UITS FIT VUT
	Formální analýza a verifikace Testování software Modelování a verifikace počítačových systémů
Vojnar Tomáš, prof. Ing., Ph.D., UITS FIT VUT