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, doc. RNDr., Ph.D.
(MFF UK)
, hlavní řešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , spoluřešitel