Algebraic Verification of a Distributed Summation Algorithm (1996)
by
Jan Friso Groote
,
Jan Springintveld
| Citations: | 5 - 0 self |
BibTeX
@TECHREPORT{Groote96algebraicverification,
author = {Jan Friso Groote and Jan Springintveld},
title = {Algebraic Verification of a Distributed Summation Algorithm},
institution = {},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
