Crash-Resilient Decentralized Synchronous Runtime Verification

Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour. Crash-Resilient Decentralized Synchronous Runtime Verification. IEEE Trans. Dependable Sec. Comput., 21(3):1017-1031, May - June 2024. [doi]

Abstract

Abstract is missing.