Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks

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.