On Benchmarking for Concurrent Runtime Verification

Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingólfsdóttir. On Benchmarking for Concurrent Runtime Verification. In Esther Guerra, Mariëlle Stoelinga, editors, Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Volume 12649 of Lecture Notes in Computer Science, pages 3-23, Springer, 2021. [doi]

Abstract

Abstract is missing.