Book ChapterOPEN ACCESS

On Benchmarking for Concurrent Runtime Verification

  • Aceto L
  • Attard D
  • Francalanza A
  • et al.
DOI: 10.1007/978-3-030-71500-7_1
N/ACitations
Citations of this article
8Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

We present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to...

Cite

CITATION STYLE

APA

Aceto, L., Attard, D. P., Francalanza, A., & Ingólfsdóttir, A. (2021). On Benchmarking for Concurrent Runtime Verification (pp. 3–23). https://doi.org/10.1007/978-3-030-71500-7_1

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free