Decentralized Asynchronous Crash-resilient Runtime Verification

DOI10.1145/3550483OpenAlexW4297830930MaRDI QIDQ5889779FDOQ5889779

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

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

zbMATH Keywords

distributed computingmodel checkingruntime verificationtemporal logicdistributed monitoringlinear-time logicfault-tolerant verificationwait-free tasks

Mathematics Subject Classification ID

Computer science (68-XX)

Cited In (3)

• Decentralized LTL enforcement
• Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
• 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)