Distributed computing systems have great advantages over centralized computing systems in various applications, but they are also much more complicated to develop, especially their software. One of the major complications in developing such a software system is the process communication. In this paper, an approach to verification of communication in the distributed computing system software is presented. Proof rules for communication statements and techniques for handling complicated system execution sequences are developed so that distributed computing system software using various communication mechanisms can be verified.
|Original language||English (US)|
|Title of host publication||Unknown Host Publication Title|
|Editors||Kane H. Kim, K. Chon, C.V. Ramamoorthy|
|Number of pages||15|
|State||Published - Dec 1 1986|
ASJC Scopus subject areas