1996
Algebraic verification of a distributed summation algorithm
Publication
Publication
In this note we present an algebraic verification of Segall's Propagation of Information with Feedback (PIF) algorithm. This algorithm serves as a nice benchmark for verification exercises (see [2, 13, 8]). The verification is based on the methodology presented in [7] and demonstrates its applicability to distributed algorithms.
| Additional Metadata | |
|---|---|
| , | |
| , | |
| CWI | |
| Department of Computer Science [CS] | |
|
Groote, J. F.& Springintveld, J. G. (1996). Algebraic verification of a distributed summation algorithm. In Department of Computer Science [CS] (R 9640). CWI. |
|
