Invariant Properties of Linear-Iterative Distributed Averaging Algorithms and Error Detection

The authors explore the invariant properties of linear-iterative distributed averaging algorithms, focusing on error detection. They introduce local invariants for each node to detect computation errors during execution.