Space-Time Tradeoffs for Distributed Verification

Rafail Ostrovsky, Mor Perry, Will Rosenbaum

Verifying that a network configuration satisfies a given boolean predicate is a fundamental problem in distributed computing. Many variations of this problem have been studied, for…