Verification of Concurrent Control Flow in Distributed Computer Systems

Stephen S. Yau, Wonmo Hong

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

An approach to verifying control flow in distributed computer systems (DCS) is presented. The approach is based on control flow checking among software components distributed over processors and cooperating among them. In this approach, control flow behavior of DCS software is modeled and contained in special software components called verifiers. The verifiers are distributed over the processors and consulted to check the correctness of the control flow in DCS software during its execution. Algorithms for deriving the verifiers are presented. This technique can detect global errors including synchronization errors as well as local errors. It can be used for sequential or concurrent software at various levels of details. Experiments show that using this technique requires no significant overhead.

Original languageEnglish (US)
Pages (from-to)405-417
Number of pages13
JournalIEEE Transactions on Software Engineering
Volume14
Issue number4
DOIs
StatePublished - Apr 1988
Externally publishedYes

Keywords

  • Context-free grammar
  • control flow checking
  • distributed software
  • fault-tolerance
  • software design representation

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Verification of Concurrent Control Flow in Distributed Computer Systems'. Together they form a unique fingerprint.

Cite this