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
Computer Networks
Paper
Automated protocol validation: One chain of development
Abstract
The progress of one research effort in computer-automated protocol validation is summarized in this paper. It brings together in one place the results of a number of studies, some published and some to be published but all widely scattered in the literature. Described are a formal representation, the "duologue", "phase-diagram", and "state-pertubation" methods. These are discussed on the basis of a common example. Sample results from the validation of the CCITT X.21 interface are explained as an indication of what these techniques can achieve. © 1978.