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:
Fakulta architektury - FA
Fakulta elektrotechniky a komunikacních technologií - FEKT
Fakulta chemická - FCH
Fakulta informacních technologií - FIT
Fakulta podnikatelská - FP
Fakulta stavební - FAST
Fakulta strojního inženýrství - FSI
Fakulta výtvarných umení - FAVU
Rektorát
Ústav soudního inženýrství
Ústav:
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ě:
Kontaktní osoba:
Osobní číslo dle průkazu VUT
PŘÍJMENÍ Jméno, tituly
e-mail
tel./fax
Oblast výzkumu:
Automatizovaná analýza a verifikace počítačových systémů
Oblast výzkumu:
Kontakt
Osobní číslo dle průkazu VUT
PŘÍJMENÍ Jméno, tituly
e-mail
tel./fax
smazat
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ů
Smazat oblast výzkumu
Zadejte heslo pro editaci:
Zadejte heslo pro smazání: