The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1992 vol.9)
pp: 17-22
ABSTRACT
<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>
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, January/February 1992, doi:10.1109/52.108773
34 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool