IEEE - Institute of Electrical and Electronics Engineers, Inc. - Protocol validation using a pumping-based approach

Author(s): Tai, K.-C. ; Ho, H.-F. ; Chen, G.-H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 339 - 344
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170200
Regular:

Two pumping theorems are derived for a network N of CFSMs (communicating finite state machines). Each pumping theorem describes a set of conditions under which a feasible event sequence of N can... View More

Advertisement