2019

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.

Organisers

Giles Reger, University of Manchester
Kristin Yvonne RozierIowa State University