Ezio Bartocci, Yliès Falcone, Giles Reger. International Competition on Runtime Verification (CRV). In Dirk Beyer 0001, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Volume 11429 of Lecture Notes in Computer Science, pages 41-49, Springer, 2019. [doi]
Abstract is missing.