Treffer: Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems
Title:
Monitoring hyperproperties with circuits ; Formal techniques for distributed objects, components, and systems
Publisher Information:
Springer Nature Switzerland AG
Publication Year:
2022
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Document Type:
Buch
book part
Language:
English
DOI:
10.1007/978-3-031-08679-3_1
Availability:
Rights:
info:eu-repo/semantics/restrictedAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Accession Number:
edsbas.C9E4E976
Database:
BASE
Weitere Informationen
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. ; peer-reviewed