网络协议的一种构建性验证方法.pdfVIP

网络协议的一种构建性验证方法 丛延奇 张立堃 刘英莉 刘诗笺 ! # 哈尔滨工程大学计算机科学与技术学院 哈尔滨 %# % $ ABC(*) +0/(CDE)FGH-,C(*)$2-C 摘 要 论文提出了多层自动机映射的思想并应用此方法构建了复杂协议的构建性验证方法同时给出了协议构建性 验证的逻辑基础和构建步骤$ 此法有效地避免了复杂协议验证中状态组合爆炸问题$ 关键词 多层自动机映射 不动点 构建性验证 文章编号 ! % 文献标识码 中图分类号 %!BI%B !# %B %J %B! K LM