The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.11 - November (1989 vol.15)
pp: 1491-1494
ABSTRACT
The closed cover technique is a technique for verifying progress for two communicating finite state machines exchanging messages over two lossless and FIFO channels. It was first introduced by Gouda. A set of global states is called a closed cover if it satisfies some conditions given in Gouda?s paper, but an intuitive description of why one of the conditions is necessary is not provided. It is found that the definition of a closed cover is too restrictive in one paper and incorrect in the other. This correspondence clarifies this and suggests improved definitions for a closed cover which are increasingly less restrictive.
INDEX TERMS
progress verification; closed cover; communicating finite state machines; lossless; FIFO channels; structural partition technique; finite automata; protocols
CITATION
A. Chung, D.P. Sidhu, "On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines", IEEE Transactions on Software Engineering, vol.15, no. 11, pp. 1491-1494, November 1989, doi:10.1109/32.41341
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool