- Project title: Runtime Verification beyond Monitoring (ARVI)
- Project number: ICT COST Action IC1402
- Institutions participating in the project: Faculty of Sciences (Novi Sad), University of Lübeck (Germany), etc.
- Status in the project: Partner
- Project leader: Zoran Budimac
- Project type: COST action
- Period of realization: 2014-2018