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

zbMATH Keywords

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

Mathematics Subject Classification ID

Computer science (68-XX)

Cited In (1)

• 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)