DocumentCode
767622
Title
Verification of HDLC
Author
Brand, Daniel ; Joyner, William H., Jr.
Author_Institution
IBM Thomas J. Watson Research Center, NY
Volume
30
Issue
5
fYear
1982
fDate
5/1/1982 12:00:00 AM
Firstpage
1136
Lastpage
1142
Abstract
A version of the standard high level data link control protocol has been verified as an experiment with an automated verification system. This paper tries to answer questions such as: How can HDLC and its properties be represented? To what extent can they be proved? What are the main obstacles in verifying protocols like HDLC?
Keywords
computer networks; protocols; high level data link control; protocol; Application software; Automata; Automatic control; Communication system control; Communications Society; Computer languages; Computer network reliability; Protocols; System recovery;
fLanguage
English
Journal_Title
Communications, IEEE Transactions on
Publisher
ieee
ISSN
0090-6778
Type
jour
DOI
10.1109/TCOM.1982.1095558
Filename
1095558
Link To Document