Talks and Poster Presentations (with Proceedings-Entry):
E. Bartocci, Y. Falcone, G. Reger:
"International Competition on Runtime Verification (CRV)";
Talk: Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS,
Prague, Czech Republic (invited);
- 2019-04-11; in: "Proc. of Tools and Algorithms for the Construction and Analysis of Systems- 25 Years of TACAS",
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.