EN
张伟, 刘积仁, 李华天. 启发式协议验证[J]. 信息与控制, 1990, 19(6): 45-49,63.
引用本文: 张伟, 刘积仁, 李华天. 启发式协议验证[J]. 信息与控制, 1990, 19(6): 45-49,63.
shu

启发式协议验证

    摘要
  • 摘要: 本文讨论和建立了一种状态空间探寻式（SEV）协议验证问题的图论模型，并形式地定义了协议错误、协议正确程度、验证算法复杂度等概念．本文提出了一个基于启发式搜索的协议验证算法 Z*，并就其复杂度同耗尽式验证算法 Breadfirst 进行了比较．

     

    • HTML全文
    • 参考文献(4)
    • 相关文章
    • 施引文献
  • 资源附件(0)

/

返回文章
返回
关于本刊
期刊简介
编委会
收录情况