On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines
Issue No. 11 - November (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.41341
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.
progress verification; closed cover; communicating finite state machines; lossless; FIFO channels; structural partition technique; finite automata; protocols
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. , pp. 1491-1494, November 1989, doi:10.1109/32.41341