In a recent paper, the authors discussed verification of the connection management aspects of the NBS Class 4 transport protocol. An automated protocol development technique was used to verify a subset of the protocol with respect to the protocol properties of completeness, deadlock freeness, livelock freeness, boundedness, and termination. The analysis pointed out several error situations in which the completeness property did not hold for the protocol. This note summarizes the results of the automated analysis and also proposes some plausible solutions to the problems identified in the current specification.
Research and Development Division, SDC - A Burroughs Company, Paoli, PA;
机译:传输层的连接管理:服务规范和协议验证
机译:分层组协议的密钥管理体系结构的自动验证
机译:在有状态协议的自动验证中超越子项收敛方程理论
机译:经过验证的传输层连接管理协议
机译:协作软件系统的协调协议的规范和半自动验证
机译:通过连接全国冒号癌登记和分层努力提高结肠癌的临床管理(连接II试验):单一臂干预研究的理由和议定书
机译:自动化无限性验证与独占的或
机译:基于定时器的可靠传输协议连接管理机制:TCp和Delta-T协议方法的比较