Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang,
"
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014"
International Journal on Software Tools for Technology Transfer (STTT),
,
2019.
sttt19.pdf
(1.29 MB)