DocumentCode
1206761
Title
Protocol design: redefining the state of the art
Author
Holzmann, Gerard J.
Author_Institution
AT&T Bell Lab., Murray Hill, NJ, USA
Volume
9
Issue
1
fYear
1992
Firstpage
17
Lastpage
22
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.108773
Filename
108773
Link To Document