|
| 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
| ASCII Text | x | ||
| Gerard J. Holzman, "Protocol Design: Redefining the State of the Art," IEEE Software, vol. 9, no. 1, pp. 17-22, January/February, 1992. | |||
| BibTex | x | ||
| @article{ 10.1109/52.108773, author = {Gerard J. Holzman}, title = {Protocol Design: Redefining the State of the Art}, journal ={IEEE Software}, volume = {9}, number = {1}, issn = {0740-7459}, year = {1992}, pages = {17-22}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.108773}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Protocol Design: Redefining the State of the Art IS - 1 SN - 0740-7459 SP17 EP22 EPD - 17-22 A1 - Gerard J. Holzman, PY - 1992 KW - formal methods; high-level protocol design; correctness proofs; logical correctness; formal specification; program verification; protocols VL - 9 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.108773
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.