A Suite of Monitoring Tools for Erlang

7 pages•Published: December 14, 2017

Ian Cassar, Adrian Francalanza, Duncan Attard, Luca Aceto and Anna Ingolfsdottir

Abstract

Ensuring formal correctness for actor-based, concurrent systems is a difficult task, pri- marily because exhaustive, static analysis verification techniques such as model checking quickly run into state-explosion problems. Runtime monitoring techniques such as Run- time Verification and Adaptation circumvent this limitation by verifying the correctness of a program by dynamically analysing its executions. This paper gives an overview of a suite of monitoring tools available for verifying and adapting actor-based Erlang programs.

Keyphrases: actor systems, adaptation, enforcement, erlang, monitoring, runtime verification, verification

In: Giles Reger and Klaus Havelund (editors). RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, vol 3, pages 41-47.

Links:	https://easychair.org/publications/paper/cSzb
	https://doi.org/10.29007/7lrd

BibTeX entry

@inproceedings{RV-CuBES2017:Suite_Monitoring_Tools_Erlang,
  author    = {Ian Cassar and Adrian Francalanza and Duncan Attard and Luca Aceto and Anna Ingolfsdottir},
  title     = {A Suite of Monitoring Tools for Erlang},
  booktitle = {RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools},
  editor    = {Giles Reger and Klaus Havelund},
  series    = {Kalpa Publications in Computing},
  volume    = {3},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/cSzb},
  doi       = {10.29007/7lrd},
  pages     = {41-47},
  year      = {2017}}

Download PDF Open PDF in browser