带参协议验证相关硕士博士期刊学术论文 - 搜论网

带参协议验证相关论文

基于决策树的带参协议自动化验证方法

协议广义上指网络协议,协议的功能是用于描述模块间的通讯规则,本文中,协议狭义地指由卫式命令语言(Guarded Command Language)描......

学位

带参协议验证归纳证明方法不变式决策树

看过本文同时还关注