Verification of HDLC
Daniël Brand, William H. Joyner · IEEE Transactions on Communications · 1982
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?