...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Automatic Control and Computer Sciences >Deductive Verification of the Sliding Window Protocol
【24h】

Deductive Verification of the Sliding Window Protocol

机译：滑动窗口协议的演绎验证

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We consider the well-known Sliding Window Protocol which provides reliable and efficient transmission of data over unreliable channels. A formal proof of correctness for this protocol faces substantial difficulties, caused by a high degree of parallelism which creates a significant potential for errors. Here we consider a version of the protocol that is based on selective repeat of frames. The specification of the protocol by a state machine and its safety property are represented in the language of the verification system PVS. Using the PVS system, we give an interactive proof of this property of the Sliding Window Protocol.
机译：我们考虑了众所周知的滑动窗口协议，该协议在不可靠的通道上提供了可靠而有效的数据传输。由于高度的并行性导致产生严重错误的可能性，因此该协议正确性的形式化证明面临巨大的困难。在这里，我们考虑基于帧的选择性重复的协议版本。状态机对协议的规范及其安全性以验证系统PVS的语言表示。使用PVS系统，我们可以提供滑动窗口协议此属性的交互式证明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号