Detail projektu
Runtime Verification beyond Monitoring (ARVI)
Období řešení: 17. 12. 2014 – 18. 12. 2018
Typ projektu: grant
Kód: IC1402
Agentura: Evropská unie
Program: European Cooperation in Science and Technology (COST)
verifikace za běhu, testování, dynamická analýza, monitorování
Projekt je o verifikaci za běhu jdoucí nad rámec běžného monitorování (ARVI).
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)