DocumentCode
3413948
Title
Structured design of self-stabilizing programs
Author
Stomp, F.A.
Author_Institution
Inst. fur Inf. und Praktische Math. II., Christian-Albrechts-Univ., Kiel, Germany
fYear
1993
fDate
7-9 Jun 1993
Firstpage
167
Lastpage
176
Abstract
Much effort has been invested in recent years to propose self-stabilizing programs for various purposes. Only little attention has been paid to the structured, formal design and verification of such programs. The current paper presents a sound and formal principle for designing, hence verifying self-stabilizing programs. This principle, which combines programs into larger ones, is formulated in linear time temporal logic and captures the underlying intuition of many designers of self-stabilizing programs in a natural way. The proposed principle is applied to a program, due to Ghosh and Karaata (1991), for coloring a graph
Keywords
formal specification; graph colouring; program verification; programming theory; self-adjusting systems; temporal logic; formal design; graph colouring; linear time temporal logic; self-stabilizing programs; verification; Computer science; Context modeling; Logic design; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Theory and Computing Systems, 1993., Proceedings of the 2nd Israel Symposium on the
Conference_Location
Natanya
Print_ISBN
0-8186-3630-0
Type
conf
DOI
10.1109/ISTCS.1993.253472
Filename
253472
Link To Document