UPDATE: The competition has been delayed until later in 2020. Further details will follow.

We are pleased to announce the 2019 edition of the Competition on Runtime Verification (CRV 2019). The main headlines for this year are:

  • Two tracks, one for benchmarks (as in 2018) and one for tools (as in 2014-16)
  • Two fixed specification languages
  • An initial set of benchmarks taken from RVBC 2018

The final deadline for submission to the competition will be 31st December 2019 e.g. the last day of 2019. Further details to follow soon.


Giles Reger, University of Manchester
Kristin Yvonne RozierIowa State University