Better Late Than Never or: Verifying Asynchronous Components at Runtime - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard
  • Fonction : Auteur
  • PersonId : 1107390
Luca Aceto
  • Fonction : Auteur
  • PersonId : 1107391
Antonis Achilleos
  • Fonction : Auteur
  • PersonId : 1107392
Adrian Francalanza
  • Fonction : Auteur
Anna Ingólfsdóttir
  • Fonction : Auteur
  • PersonId : 1107393

Résumé

This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ-calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation-inline, outline, and offline-offered by detectEr to cater for specific system setup constraints.
Fichier principal
Vignette du fichier
paper.pdf (787.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03320023 , version 1 (29-11-2021)

Identifiants

Citer

Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, et al.. Better Late Than Never or: Verifying Asynchronous Components at Runtime. 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta. pp.207 - 225, ⟨10.1007/978-3-030-78089-0_14⟩. ⟨hal-03320023⟩
90 Consultations
146 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More