Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86056
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. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/86056 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Better Late Than Never or.pdf Restricted Access | 854.54 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.