This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Protocol Design: Redefining the State of the Art
January/February 1992 (vol. 9 no. 1)
pp. 17-22

The application of formal methods to high-level protocol design is addressed. A formal method is considered to be one that has the capability of rendering correctness proofs. The traditional and formal design processes are described and compared. The framework for proving logical correctness in protocol engineering is then discussed.

Index Terms:
formal methods; high-level protocol design; correctness proofs; logical correctness; formal specification; program verification; protocols
Citation:
Gerard J. Holzman, "Protocol Design: Redefining the State of the Art," IEEE Software, vol. 9, no. 1, pp. 17-22, Jan.-Feb. 1992, doi:10.1109/52.108773
Usage of this product signifies your acceptance of the Terms of Use.