Runtime verification of partially-synchronous distributed system

DOI10.1007/S10703-024-00450-5MaRDI QIDQ6661752zbMATH OpenFDO

Authors Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Publication date 13 January 2025

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

Full work available at URL https://doi.org/10.1007/S10703-024-00450-5

zbMATH Keywords

runtime verificationmonitoringdistributed computationCassandrapartially synchronous

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Decentralized Asynchronous Crash-resilient Runtime Verification
• Decentralized asynchronous crash-resilient runtime verification
• Failure-aware runtime verification of distributed systems
• Runtime Verification over Out-of-order Streams
• Distributed system contract monitoring

Cites work

• Comparing LTL semantics for runtime verification
• Decentralized asynchronous crash-resilient runtime verification
• Detecting Temporal Logic Predicates on Distributed Computations
• Organising LTL monitors over distributed systems with a global clock
• Techniques and applications of computation slicing
• Time, clocks, and the ordering of events in a distributed system

Cited in

(2)

• Decentralized Asynchronous Crash-resilient Runtime Verification
• Interaction-based offline runtime verification of distributed systems

This page was built for publication: Runtime verification of partially-synchronous distributed system

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