Monitoring for Silent Actions

DOI10.4230/LIPIcs.FSTTCS.2017.7zbMath1491.68104OpenAlexW2787966173MaRDI QIDQ5136296

Luca Aceto, Anna Ingólfsdóttir, Antonis Achilleos, Adrian Francalanza

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (6)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ On first-order runtime enforcement of branching-time properties ⋮ On probabilistic monitorability ⋮ Unnamed Item ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ A theory of monitors

Cites Work

• Unnamed Item
• Unnamed Item
• Monitoring networks through multiparty session types
• Results on the propositional \(\mu\)-calculus
• Synthesising correct concurrent runtime monitors
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• An efficiency preorder for processes
• A brief account of runtime verification
• On the complexity of determinizing monitors
• Monitorability for the Hennessy-Milner logic with recursion
• A Theory of Monitors
• Consistently-detecting monitors
• Failure-aware Runtime Verification of Distributed Systems
• Reactive Systems

This page was built for publication: Monitoring for Silent Actions