Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86158| Title: | A framework for parameterized monitorability |
| Other Titles: | Foundations of Software Science and Computation Structures. FoSSaCS 2018. Lecture Notes in Computer Science, vol 10803 |
| Authors: | Aceto, Luca Achilleos, Antonis Francalanza, Adrian Ingólfsdóttir, Anna |
| Keywords: | Computer software -- Verification Object monitors (Computer software) Recursive programming Computer logic |
| Issue Date: | 2018 |
| Publisher: | Springer Nature Switzerland AG |
| Citation: | Aceto, L., Achilleos, A., Francalanza, A., & Ingólfsdóttir, A. (2018). A framework for parameterized monitorability. 21st International Conference, FOSSACS 2018, Thessaloniki. 203-220. |
| Abstract: | We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/86158 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A Framework for Parameterized.pdf | 386.32 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.