Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/131241| Title: | A monitoring tool for linear-time 饾渿HML |
| Authors: | Aceto, Luca Achilleos, Antonis Attard, Duncan Paul Exibard, L茅o Francalanza, Adrian Ing贸lfsd贸ttir, Anna |
| Keywords: | Computer software -- Verification Formal methods (Computer science) Linear time variant systems Calculus -- Computer programs Computer programming |
| Issue Date: | 2024 |
| Publisher: | Elsevier |
| Citation: | Aceto, L., Achilleos, A., Attard, D. P., Exibard, L., Francalanza, A., & Ing贸lfsd贸ttir, A. (2024). A monitoring tool for linear-time 饾渿HML. Science of Computer Programming, 232, 103031. |
| Abstract: | We present detectEr, a monitoring tool that targets software applications written for Erlang/OTP. The tool runtime checks specifications expressed in a safety fragment of the linear-time modal 渭-calculus called MAXHMLD, used to describe properties about the current system execution. Our technical development is founded on previous theoretical results that are lifted to a first-order setting, where systems produce executions containing events that carry data. We overview the main features of detectEr, showing how properties can be flexibly written and synthesised as executable Erlang monitors that can be instrumented with the running system. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/131241 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A monitoring tool for linear time uHML 2024.pdf Restricted Access | 593.26 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.