Protocol design: Redefining the state of the art

IEEE Software

Volumn 9, Issue 1, 1992, Pages 17-22

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; NETWORK PROTOCOLS;

BEHAVIORAL SPECIFICATION; COMMUNICATION PROTOCOLS; PARTIAL-ORDER SEMANTICS; PROTOCOL ENGINEERING; STATE-SPACE COMPACTION;

COMPUTER NETWORKS;

EID: 0026677426     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.108773     Document Type: Article

References (10)

1. J. S. Ostroff, Temporal Logic for Real-Time Systems, John Wiley & Sons, New York, 1989.
2. G. J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, Englewrood Cliffs, NJ., 1991.
3. J. H. Reif and S. A. Smolka, “The Complexity of Reachability in Distributed Communicating Pm-cesses,” Informatica, April 1988, pp. 333–354.
4. G. J. Holzmann, “Practical Methods for the Formal Validation of SDL Specifications,” Computer Communications, to appear Mar. 1992.
5. Z. Manna and A. Pnueli, “Tools and Rules for the Practicing Verifier,” Tech. Report Stan-CS-90-1321, Computer Science Dept., Stanford University, Stanford, Calif., 1990.
6. G. J. Holzmann, “Tracing Protocols,” AT&T Tech. J., Dec. 1985, pp. 2413–2434.
7. G. J. Holzmann, “Algorithms for Automated Protocol Validation,” AT&T Tech.J., Jan. 1990, pp. 32–44.
8. G. J. Holzmann, “Automated Protocol Validation in Argos: Assertion Proving and Scatter Searching,” IEEE Trans. Software Eng., June 1987, pp. 683–697.
9. M. G. Gouda and J. Y. Han, “Protocol Validation by Fair Progress State Exploration,” Computer Networks and ISDN Systems, May 1985, pp. 353–361.
10. C. H. West, “Protocol Validation by Random State Exploration,” Proc. 6tb IFIP WG 6.1 lnt'l Workshop on Protocol Specification, Testing, and Verification, North-Holland, Amsterdam, 1986, pp. 233–242.