Title :
Protocol design: redefining the state of the art
Author :
Holzmann, Gerard J.
Author_Institution :
AT&T Bell Lab., Murray Hill, NJ, USA
Abstract :
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.<>
Keywords :
formal specification; program verification; protocols; correctness proofs; formal methods; high-level protocol design; logical correctness; Art; Design engineering; Design methodology; Handicapped aids; History; Humans; Programming profession; Protocols; Reachability analysis; Specification languages;
Journal_Title :
Software, IEEE
