2026-07-20T05:41:45Z https://drops.dagstuhl.de/oai

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

Consistently-Detecting Monitors Francalanza, Adrian Runtime Monitoring Deterministic Behaviour Controllability Compositional Reasoning Symbolic Analysis We study a contextual definition for deterministic monitoring based on consistent detections. It is defined in terms of the observed behaviour of the monitor when instrumented over arbitrary systems. We give an alternative, coinductive definition based on controllability which does not rely on system quantifications, and show that it is fully-abstract with respect to the former definition. We then develop a symbolic counterpart to the controllability definition to facilitate an automated analysis for controllable monitors involving data. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Adrian Francalanza 2017 Is Part Of LIPIcs, Volume 85, 28th International Conference on Concurrency Theory (CONCUR 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2017.8 urn:nbn:de:0030-drops-77722 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.8 eng https://creativecommons.org/licenses/by/3.0/legalcode