Fakulta informačních technologií VUT v Brně

Detail projektu

Runtime Verification beyond Monitoring (ARVI)

Období řešení: 17.12.2014 - 18.12.2018

Kód: IC1402

Agentura: COST, European Cooperation in Science and Technology

Program: European Cooperation in Science and Technology (COST)

Název česky
Verifikace za běhu nad rámec běžného monitorování (ARVI)
Typ
grant
Klíčová slova
verifikace za běhu, testování, dynamická analýza, monitorování
Abstrakt
Projekt je o verifikaci za běhu jdoucí nad rámec běžného monitorování (ARVI).
Řešitelé
Kofroň Jan, RNDr., Ph.D. (MFF UK) , hlavní řešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Pluháčková Hana, Mgr. Bc. (UITS FIT VUT)
Smrčka Aleš, Ing., Ph.D. (UITS FIT VUT)
Nahoru