A Validation Technique for Tightly Coupled Protocols

IEEE Transactions on Computers

Volumn C-31, Issue 7, 1982, Pages 630-636

  Rudin, Harry ^a   West, Colin H ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

Computer networks; local area networks; multiaccess; protocols; ring; validation; verification

Indexed keywords

COMPUTER NETWORKS;

EID: 0020152942     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.1982.1676060     Document Type: Article

References (17)

1. H. Rudin, C. H. West, and P. Zafiropulo, “Automated protocol validation: One chain of development,” in Proc. Comput. Network Protocol Conf., Liege, Belgium, Feb. 1978, paper F4.
2. C. H. West, “General technique for communications protocol validation,” IBM J. Res. Develop., vol. 22, pp. 393–404, July 1978.
3. P. Zafiropulo, “Protocol validation by duologue-matrix analysis,” IEEE Trans. Commun., vol. COM-26, pp. 1187–1194, Aug. 1978.
4. P. Zafiropulo, C. H. West, H. Rudin, D. D. Cowan, and D. Brand, “Towards analyzing and synthesizing protocols,” IEEE Trans. Commun., vol. COM-28, pp. 651–660, Apr. 1980.
5. C. H. West and P. Zafiropulo, “Automated validation of a communications protocol: The CCITT X.21 recommendation,” IBM J. Res. Develop., vol. 22, pp. 60–71, Jan. 1978.
6. IBM Europe, “Technical improvements to CCITT recommendation X.25,” Study Group VII, Oct. 1978.
7. G. D. Schultz, D. B. Rose, C. H. West, and J. P. Gray, “Executable description and validation of SNA,” IEEE Trans. Commun., vol. COM-28, pp. 661–677, Apr. 1980.
8. M. Sherman and H. Rudin, “Using automated validation techniques to improve distributed software reliability,” in Proc. IEEE Symp. on Rel. in Distributed Software and Database Syst., Pittsburgh, PA, July 21–22, 1981, pp. 107–112.
9. J. Hajek, “Automatically verified data transfer protocols,” in Proc. 4th Int. Conf. Comput. Commun., Kyoto, Japan, Sept. 1978, pp. 749–756.
10. G. V. Bochmann and C. Sunshine, “Formal methods in communication protocol design,” IEEE Trans. Commun., vol. COM-28, pp. 624–631, Apr. 1980.
11. C. A. Sunshine, Ed., Communication Protocol Modeling. Dedham, MA: Artech House, 1981.
12. M. V. Wilkes and D. J. Wheeler, “The Cambridge digital communication ring,” in Proc. Local Area Network Symp., Boston, MA, May 1979, pp. 47–59.
13. J. Rubin and C. H. West, “An improved protocol validation technique,” Comput. Networks, to be published.
14. H. Rudin, “Validation of a token-ring protocol,” in Proc. Int. Symp. on Local Comput. Networks. Amsterdam, The Netherlands: North-Holland, to be published.
15. Y. Yemini and D. Cohen, “Some issues in distributed process communication,” in Proc. 1st Int. Conf. on Distributed Comput. Syst., Huntsville, AL, Oct. 1979, p. 199.
16. D. Brand and W. H. Joyner, Jr., “Verification of protocols using symbolic execution,” Comput. Networks, vol. 2, pp. 351–360, Oct. 1978.
17. P. Merlin, “Specification and validation of protocols,” IEEE Trans. Commun., vol. COM-27, pp. 1671–1680, Nov. 1979.