Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/131355| Title: | Monitoring hyperproperties with circuits |
| Other Titles: | Formal techniques for distributed objects, components, and systems |
| Authors: | Aceto, Luca Achilleos, Antonis Anastasiadi, Elli Francalanza, Adrian |
| Keywords: | Computer programs -- Verification Parallel programming (Computer science) Parallel processing (Electronic computers) Programming languages (Electronic computers) Logic programming |
| Issue Date: | 2022 |
| Publisher: | Springer Nature Switzerland AG |
| Citation: | Aceto, L., Achilleos, A., Anastasiadi, E., & Francalanza, A. (2022). Monitoring hyperproperties with circuits. In M. R. Mousavi, & A. Philippou (Eds.), Formal techniques for distributed objects, components, and systems (pp. 1-10). Cham: Springer International Publishing. |
| Abstract: | This paper presents an extension of the safety fragment of Hennessy-Milner Logic with recursion over sets of traces, in the spirit of Hyper-LTL. It then introduces a novel monitoring setup that employs circuit-like structures to combine verdicts from regular monitors. The main contribution of this study is the definition of the monitors and their semantics, as well as a monitor-synthesis procedure from formulae in the logic that yields ‘circuit-like monitors’ that are sound and violation complete over a finite set of infinite traces. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/131355 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Monitoring hyperproperties with circuits 2022.pdf Restricted Access | 268.58 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.