CENTRÁLNÍ DATABÁZE NABÍZENÝCH ODBORNÝCH ČINNOSTÍ
PRACOVIŠŤ VYSOKÉHO UČENÍ TECHNICKÉHO V BRNĚ

Výpis Hledej klíčová slova Kontakty na správce Úvod
Fakulta:
 FIT
Ústav:
 Ústav inteligentních systémů
Kontaktní údaje (tel., fax, e-mail, www):
 Vedoucí ústavu: Doc.Dr.Ing. Petr Hanáček
tel: 54114-1216, sekret. 54114-1139, fax: 54114-1270
e-mail: hanacek@fit.vutbr.cz
www.fit.vutbr.cz/units/UITS
Poštovní adresa:
 Ústav inteligentních systémů
Fakulta informačních technologií VUT v Brně
Božetěchova 2, 61266 Brno
Obor/Odbor/Laboratoř/Specializované pracoviště:
 Výzkumná skupina automatizované verifikace -- VeriFIT
Kontaktní osoba:
 VOJNAR Tomáš, Doc.Ing.PhD. (os. číslo: 2491), vojnar@fit.vutbr.cz, tel.: 541141202/541141270
Oblast výzkumu: Automatizovaná analýza a verifikace počítačových systémů
Kontakt
 VOJNAR Tomáš, Doc.Ing.PhD. (os. číslo: 2491), vojnar@fit.vutbr.cz, tel.: 541141202/541141270
Laboratorní vybavení - přístroje
 Několik výkonných výpočetních serverů pod operačním systémem Linux.
Laboratorní vybavení - software
 Různé otevřené nástroje pro analýzu a verifikaci software i hardware (statická analýza, model checking, dynamická analýza), včetně vlastních prototypových nástrojů.
Nabídka služeb
 Automatizovaná formální analýza a verifikace a dynamická analýza korektního chování kritických součástí počítačového software (paralelní software, práce s dynamickou pamětí, ovladače), hardware či komunikačních protokolů, aplikace metod automatické korekce software za běhu.
Klíčová slova
 analýza a verifikace počítačových systémů, model checking, statická analýza, dynamická analýza, automatická oprava počítačových systémů

<<< Zpět na seznam