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 computingmodel checkingruntime verificationtemporal logicdistributed monitoringlinear-time logicfault-tolerant verificationwait-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)

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

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)