Distributed runtime verification of metric temporal properties

Ritam Ganguly; Yingjie Xue; Aaron Jonckheere; Parker Ljung; Benjamin Schornstein; Borzoo Bonakdarpour; Maurice Herlihy

Distributed runtime verification of metric temporal properties

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy

Published: 01 Jan 2024, Last Modified: 11 May 2025J. Parallel Distributed Comput. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0

Abstract: Highlights•Runtime Verification of partially-synchronous distributed systems.•Introduce a progression-based rewriting scheme for MTL specifications.•Calculate the probabilistic guarantee for generating verification verdict.•Case study includes cross-chain transactions on Ethereum.

Loading