Verification of a Distributed Algorithm due to Chu

Kaisa Sere, Marina Walden*

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

2 Lataukset (Pure)

Abstrakti

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].
AlkuperäiskieliEnglanti
KustantajaÅbo Akademi University
TilaJulkaistu - 1994
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Julkaisusarja

NimiReports on Computer Science and Mathematics, Series A94 - 156

Sormenjälki

Sukella tutkimusaiheisiin 'Verification of a Distributed Algorithm due to Chu'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot