Please use this identifier to cite or link to this item:
Title: Better late than never or : verifying asynchronous components at runtime
Other Titles: Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2021. Lecture Notes in Computer Science, vol 12719
Authors: Attard, Duncan Paul
Aceto, Luca
Achilleos, Antonis
Francalanza, Adrian
Ingólfsdóttir, Anna
Lehtinen, Karoliina
Keywords: Software engineering
Computer software -- Verification
Asynchronous transfer mode
Computer software -- Monitoring
Issue Date: 2021
Publisher: Springer
Citation: Attard, D. P., Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., & Lehtinen, K. (2021). Better late than never or : verifying asynchronous components at runtime. 41st IFIP WG 6.1 International Conference, FORTE 2021, Valletta. 207-225.
Abstract: 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 set-up constraints.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Better Late Than Never or.pdf
  Restricted Access
854.54 kBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.