Decentralized Asynchronous Crash-resilient Runtime Verification

DOI10.1145/3550483MaRDI QIDQ5889779zbMATH OpenOpenAlexFDO

Authors Borzoo Bonakdarpour, Pierre Fraigniaud, Sergio Rajsbaum, David A. Rosenblueth, Corentin Travers

Publication date 27 April 2023

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3550483

zbMATH Keywords

distributed computingdistributed monitoringfault-tolerant verificationlinear-time logicmodel checkingruntime verificationtemporal logicwait-free tasks

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Decentralized asynchronous crash-resilient runtime verification
• Comparing LTL semantics for runtime verification
• An LTL proof system for runtime verification
• Runtime verification of partially-synchronous distributed system

Cited in

(6)

• Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
• Decentralized LTL enforcement
• Runtime verification of partially-synchronous distributed system
• Centralized vs decentralized monitors for hyperproperties
• Centralized vs. decentralized monitors for hyperproperties
• Asynchronous wait-free runtime verification and enforcement of linearizability

This page was built for publication: Decentralized Asynchronous Crash-resilient Runtime Verification

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