First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Yliès 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

Research output: Contribution to journalArticlepeer-review

Fingerprint Dive into the research topics of 'First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014'. Together they form a unique fingerprint.

Engineering & Materials Science