International Competition on Runtime Verification (CRV)

Ezio Bartocci, Yliès Falcone, Giles Reger

Abstract: We review the first five years of the international Competition on Runtime Verification (CRV), which began in 2014. Runtime verification focuses on verifying system executions directly and is a useful lightweight technique to complement static verification techniques. The competition has gone through a number of changes since its introduction, which we highlight in this paper.