Synthesising correct concurrent runtime monitors

DOI10.1007/s10703-014-0217-9zbMath1323.68373OpenAlexW2083030183MaRDI QIDQ888412

Aldrin Seychell, Adrian Francalanza

Publication date: 30 October 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://www.um.edu.mt/library/oar//handle/123456789/23256

zbMATH Keywords

concurrencyruntime verificationactors\(\mu \)-calculusautomated monitor synthesismonitor correctness

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)

Related Items (14)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Monitorability for the Hennessy-Milner logic with recursion ⋮ Synthesising correct concurrent runtime monitors ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ ElixirST: a session-based type system for elixir modules ⋮ Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation ⋮ Compositional runtime enforcement revisited ⋮ Unnamed Item ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ A Theory of Monitors ⋮ A theory of monitors ⋮ Consistently-detecting monitors ⋮ Gaining trust by tracing security protocols ⋮ Monitoring for Silent Actions

Uses Software

• Erlang
• Java-MOP
• LOLA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decentralised LTL monitoring
• Monitoring networks through multiparty session types
• Modal logics for mobile processes
• Results on the propositional \(\mu\)-calculus
• Fair testing
• Synthesising correct concurrent runtime monitors
• Testing equivalences for processes
• Distributed system contract monitoring
• Runtime Verification of Component-Based Systems
• Algebraic laws for nondeterminism and concurrency
• Characterization of temporal property classes
• Reactive Systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation

This page was built for publication: Synthesising correct concurrent runtime monitors