Title :
Verification of HDLC
Author :
Brand, Daniel ; Joyner, William H., Jr.
Author_Institution :
IBM Thomas J. Watson Research Center, NY
fDate :
5/1/1982 12:00:00 AM
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;
Journal_Title :
Communications, IEEE Transactions on
DOI :
10.1109/TCOM.1982.1095558
