Title :
On conditions for defining a closed cover to verify progress for communicating finite state machines
Author :
Chung, A. ; Sidhu, D.P.
Author_Institution :
Dept. of Comput. Sci., Maryland Univ., Baltimore, MD, USA
fDate :
11/1/1989 12:00:00 AM
Abstract :
The closed-cover technique for verifying progress for two communicating finite-state machines exchanging messages over two lossless, FIFO channels is considered. The authors point out that the definition of a closed cover in M.G. Gouda (ibid., vol.SE-10, no.6, p.846-55, Nov. 1984) may be too restrictive, while that in M.G. Gouda and C.K. Chang (ACM Trans. Prog. Lang., vol.8, no.1, p.154-82, Jan. 1986) is not correct. They then show how a condition of the closed-cover definition can be modified to relax restriction to various degrees. They also discuss the similarities and relationship between the structural partition technique and the closed-cover technique
Keywords :
finite automata; protocols; FIFO channels; closed cover; communicating finite state machines; lossless; progress verification; structural partition technique; Automata; Computer science; EMP radiation effects; Protocols;
Journal_Title :
Software Engineering, IEEE Transactions on
