Verification of a Distributed Algorithm due to Chu

Kaisa Sere, Marina Walden*

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

2 Downloads (Pure)


We present a new structuring and verification method for (distributed) algorithms. The basic idea is that an algorithm to b e verified is stepwise transformed into a high level specification through a numb er of steps, so called coarsements. At each step some mechanism of the algorithm is identified and removed while the basic computation of the original algorithm is preserved. Only the essential parts of the algorithm are then left for verification. The method will be formalized within the refinement calculus. We will exemplify the method by verifying a distributed algorithm for minimum-hop route maintenance due to Chu [4].
Original languageEnglish
PublisherÅbo Akademi University
Publication statusPublished - 1994
MoE publication typeD4 Published development or research report or study

Publication series

NameReports on Computer Science and Mathematics, Series A94 - 156


Dive into the research topics of 'Verification of a Distributed Algorithm due to Chu'. Together they form a unique fingerprint.

Cite this