Verification of HDLC

Verification of HDLC

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 ve...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on communications Vol. 30; no. 5; pp. 1136 - 1142
Main Authors: Brand, D., Joyner, W. H.
Format: Journal Article
Language:English
Published: IEEE 01-01-1982
Subjects:
Application software
Automata
Automatic control
Communication system control
Communications Society
Computer languages
Computer network reliability
Protocols
System recovery
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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?
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0090-6778
1558-0857
DOI:10.1109/TCOM.1982.1095558