2026-07-22T18:55:38Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8402 2024-03-06T10:41:55Z ddc:004 open_access

Monitoring for Silent Actions Aceto, Luca Achilleos, Antonis Francalanza, Adrian Ingólfsdóttir, Anna Runtime Verification Monitorability Hennessy-Milner Logic with Recursion Silent Actions Silent actions are an essential mechanism for system modelling and specification. They are used to abstractly report the occurrence of computation steps without divulging their precise details, thereby enabling the description of important aspects such as the branching structure of a system. Yet, their use rarely features in specification logics used in runtime verification. We study monitorability aspects of a branching-time logic that employs silent actions, identifying which formulas are monitorable for a number of instrumentation setups. We also consider defective instrumentation setups that imprecisely report silent events, and establish monitorability results for tolerating these imperfections. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ingólfsdóttir 2018 Is Part Of LIPIcs, Volume 93, 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2017.7 urn:nbn:de:0030-drops-84023 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2017.7 eng https://creativecommons.org/licenses/by/3.0/legalcode