Monitoring for silent actions

DOI10.4230/LIPICS.FSTTCS.2017.7MaRDI QIDQ5136296zbMATH OpenOpenAlexFDO

Authors Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingolfsdottir

Publication date 25 November 2020

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2018/8402/pdf/LIPIcs-FSTTCS-2017-7.pdf/

zbMATH Keywords

Hennessy-Milner logic with recursionmonitorabilityruntime verificationsilent actions

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Monitorability for the Hennessy-Milner logic with recursion
• A theory of monitors
• Runtime verification logics. A language design perspective
• A theory of monitors (extended abstract)
• Impartial Anticipation in Runtime-Verification

Cites work

• A brief account of runtime verification
• A theory of monitors (extended abstract)
• An efficiency preorder for processes
• Consistently-detecting monitors
• Failure-aware runtime verification of distributed systems
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Monitorability for the Hennessy-Milner logic with recursion
• Monitoring networks through multiparty session types
• On the complexity of determinizing monitors
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Reactive Systems
• Results on the propositional \(\mu\)-calculus
• Synthesising correct concurrent runtime monitors

Cited in

(9)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• A theory of monitors
• On runtime enforcement via suppressions
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• On first-order runtime enforcement of branching-time properties
• On probabilistic monitorability
• An Operational Guide to Monitorability
• Uncertainty in runtime verification: a survey
• The best a monitor can do

This page was built for publication: Monitoring for silent actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5136296)