Monitoring for silent actions

DOI10.4230/LIPICS.FSTTCS.2017.7MaRDI QIDQ5136296zbMATHOpenAlexFDO

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

runtime verificationmonitorabilityHennessy-Milner logic with recursionsilent actions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) 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

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• 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
• 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

(8)

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

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)