International Competition on Runtime Verification (CRV)

Download PDF
Open Webpage

Ezio Bartocci, Yliès Falcone, Giles Reger

Published: 2019, Last Modified: 21 Jan 2026TACAS (3) 2019EveryoneRevisionsBibTeXCC BY-SA 4.0
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.