This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
July 1982 (vol. 31 no. 7)
pp. 630-636
H. Rudin, IBM Zurich Research Laboratory
For several years the authors have been part of an effort developing automated techniques for examining the syntax of protocols for the absence of various errors. Recently, we have turned our attention to trying to prove various functional properties of protocols used in ring-topology systems. Ring systems have a number of properties that distinguish them from the more general computer networks towards which our earlier validation work was directed. We report here on the resulting changes in the protocol models and validation techniques, together with extensions used to prove that the protocol being examined has the various desirable functional properties demanded of it.
Index Terms:
verification, Computer networks, local area networks, multiaccess, protocols, ring, validation
Citation:
H. Rudin, C.H. West, "A Validation Technique for Tightly Coupled Protocols," IEEE Transactions on Computers, vol. 31, no. 7, pp. 630-636, July 1982, doi:10.1109/TC.1982.1676060
Usage of this product signifies your acceptance of the Terms of Use.