Detail projektu

Runtime Verification beyond Monitoring (ARVI)

Období řešení: 17. 12. 2014 - 18. 12. 2018

Typ projektu: grant

Kód: IC1402, 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
Nahoru