DISTRIBUTED REACHABILITY ANALYSIS FOR PROTOCOL VERIFICATION ENVIRONMENTS

被引：0
|
作者：
AGGARWAL, S
ALONSO, R
COURCOUBETIS, C
机构：
[1] PRINCETON UNIV,DEPT COMP SCI,PRINCETON,NJ 08544
[2] AT&T BELL LABS,MURRAY HILL,NJ 07974
来源：
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES | 1988年 / 103卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：40 / 56
页数：17
相关论文
共 50 条
  • [1] VERIFICATION OF PROTOCOL CONFORMANCE TEST CASES USING REACHABILITY ANALYSIS
    NAIK, K
    SARIKAYA, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1992, 19 (01) : 41 - 57
  • [2] PROTOCOL VERIFICATION ALGORITHM USING REDUCED REACHABILITY ANALYSIS.
    Itoh, Masaki
    Ichikawa, Haruhisa
    Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E, 1983, E66 (02): : 88 - 93
  • [3] Protocol Verification by Simultaneous Reachability Graph
    Wang, Cailu
    Tao, Yuegang
    Zhou, Ying
    IEEE COMMUNICATIONS LETTERS, 2017, 21 (08) : 1727 - 1730
  • [4] Reachability analysis for formal verification of SystemC
    Drechsler, R
    Grosse, D
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 337 - 340
  • [5] Reachability analysis in verification via supercompilation
    Lisitsa, Alexei
    Nemytykh, Andrei P.
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2008, 19 (04) : 953 - 969
  • [6] Protocol validation by simultaneous reachability analysis
    Ozdemir, K
    Ural, H
    COMPUTER COMMUNICATIONS, 1997, 20 (09) : 772 - 788
  • [7] Distributed reachability analysis in timed automata
    Behrmann G.
    International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 19 - 30
  • [8] AN IMPROVED PROTOCOL REACHABILITY ANALYSIS TECHNIQUE
    HOLZMANN, GJ
    SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (02): : 137 - 161
  • [9] Residual Runtime Verification via Reachability Analysis
    Soueidi, Chukri
    Falcon, Ylies
    VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2022, 2023, 13800 : 148 - 166
  • [10] Residual Runtime Verification via Reachability Analysis
    Soueidi, Chukri
    Falcone, Yliès
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13800 LNCS : 148 - 166
12345