您的位置： 专家智库 > >

国家高技术研究发展计划(2001AA3202)

作品数：1 被引量：2H指数：1
相关作者：王戟陈火旺陈立前更多>>
相关机构：国防科学技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇BRP

机构

  • 1篇国防科学技术...

作者

  • 1篇陈立前
  • 1篇陈火旺
  • 1篇王戟

传媒

  • 1篇计算机工程与...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于TLA+的BRP协议规约及验证被引量：2
2006年
BRP协议是为不可靠信道上传送大数据包文件设计的工业协议。该协议的正确性依赖于各部件实时方面的假设。本文主要阐述了使用时序规约语言TLA+对BRP协议进行规约和验证的过程。首先通过自然语言非形式化地描述BRP协议的基本原理和需求,在此基础上建立了BRP的形式化模型,利用TLA+先对不考虑实时要求的BRP进行规约,然后添加实时约束获得BRP完整的规约,最后使用模型检验器TLC验证BRP协议的各种性质。
陈立前王戟陈火旺
关键词：BRP
全选 清除 导出
共1页<1>
聚类工具0