About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
IEEE Transactions on Communications
Paper
Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks
Abstract
The existence of a program for automatically examining the syntax of a protocol for the absence of various undesired properties—such as deadlock—raises the question whether the classical “lockups” described in the early packet-switched data network literature could be detected by such a program. This concise paper answers this question in the affirmative. Copyright © 1982 by The Institute of Electrical and Electronics Engineers, Inc.