Issue No. 01 - January/February (1992 vol. 9)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.108773
<p>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.</p>
formal methods; high-level protocol design; correctness proofs; logical correctness; formal specification; program verification; protocols
G. J. Holzman, "Protocol Design: Redefining the State of the Art," in IEEE Software, vol. 9, no. , pp. 17-22, 1992.