- Naziv projekta: Runtime Verification beyond Monitoring (ARVI)
- Oznaka projekta: ICT COST Action IC1402
- Institucije učesnice u projektu: University of Lübeck (Nemačka) i dr.
- Status u projektu: partner
- Rukovodilac projekta: Zoran Budimac
- Vrsta projekta: COST akcija
- Period realizacije projekta: 2014.-2018.