Runtime Verification beyond Monitoring (ARVI)

Název v češtině:Verifikace za běhu nad rámec běžného monitorování (ARVI)
Hlavní řešitel:Kofroň Jan (MFF UK)
Spoluřešitelé:Vojnar Tomáš
Agentura:COST, European Cooperation in Science and Technology - European Cooperation in Science and Technology (COST)
Kód:IC1402, IC1402
Zahájení:2014-12-17
Ukončení:2018-12-18
Klíčová slova:verifikace za běhu, testování, dynamická analýza, monitorování
Anotace:
Projekt je o verifikaci za běhu jdoucí nad rámec běžného monitorování (ARVI).

Vaše IPv4 adresa: 54.225.47.94
Přepnout na IPv6 spojení

DNSSEC [dnssec]