Using Automated Validation Techniques to Detect Lockups in Packet-Switched Networks
Mark Sherman, H. R. Rudin · IEEE Transactions on Communications · 1982
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. The authors answer this question in the affirmative.