网络协议的一种构建性验证方法
망락협의적일충구건성험증방법
A Compositional Approach of Network Protocol Verification
  • 万方数据
    计算机工程与应用 계산궤공정여응용
    COMPUTER ENGINEERING AND APPLICATIONS
    2005年 13期 141-142,189 ,共3页

    丛延奇%张立堃%刘英莉%刘诗笺

    총연기%장립곤%류영리%류시전

    多层自动机映射%不动点%构建性验证 多層自動機映射%不動點%構建性驗證
    다층자동궤영사%불동점%구건성험증
    论文提出了多层自动机映射的思想,并应用此方法构建了复杂协议的构建性验证方法,同时给出了协议构建性验证的逻辑基础和构建步骤.此法有效地避免了复杂协议验证中状态组合爆炸问题.
    논문제출료다층자동궤영사적사상,병응용차방법구건료복잡협의적구건성험증방법,동시급출료협의구건성험증적라집기출화구건보취.차법유효지피면료복잡협의험증중상태조합폭작문제.
    원문보기 원문다운로드 사이트로이동
저자의 최근 논문