基于形式验证的HDLC协议验证

为了探索更好的验证方式,本文总结了仿真验证方法在应对HDLC协议验证时面临的挑战,提出了以形式验证对HDLC协议设计进行协议级验证的方法。实践表明,对HDLC协议设计的形式验证方法能够获得准确、直观的验证结果,较好地保证了验证的完备性,具有较高的研究价值。