- Назив пројекта: Рунтиме Верифицатион беyонд Мониторинг (АРВИ)
- Ознака пројекта: ИЦТ ЦОСТ Ацтион ИЦ1402
- Институције учеснице у пројекту: Университy оф Лüбецк (Немачка) и др.
- Статус у пројекту:партнер
- Руководилац пројекта: Зоран Будимац
- Врста пројекта: ЦОСТ акција
- Период реализације пројекта: 2014.-2018.