Symbolic protocol verification with queue BDDs

被引：5
|
作者：
Godefroid, P [1 ]
Long, DE [1 ]
机构：
[1] LUCENT TECHNOL BELL LABS,MURRAY HILL,NJ
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561318
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：198 / 206
页数：9
相关论文
共 50 条
  • [1] Symbolic Protocol Verification with Queue BDDs
    Patrice Godefroid
    David E. Long
    [J]. Formal Methods in System Design, 1999, 14 : 257 - 271
  • [2] Symbolic protocol verification with queue BDDs
    Godefroid, P
    Long, DE
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (03) : 257 - 271
  • [3] Symbolic Verification of GOLOG Programs with First-Order BDDs
    Classen, Jens
    [J]. SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 524 - 528
  • [4] Symbolic path-based protocol verification
    Liu, WC
    Chung, CG
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (04) : 245 - 255
  • [5] Symbolic Verification of Mesh Commissioning Protocol of Thread
    Upadhyay, Pankaj
    Sharma, Subodh
    Bai, Guangdong
    [J]. PROCEEDINGS OF THE 17TH INNOVATIONS IN SOFTWARE ENGINEERING CONFERENCE, ISEC 2024, 2024,
  • [6] Security Protocol Verification: Symbolic and Computational Models
    Blanchet, Bruno
    [J]. PRINCIPLES OF SECURITY AND TRUST, POST 2012, 2012, 7215 : 3 - 29
  • [7] Symbolic Model Checking without BDDs
    Biere, A
    Cimatti, A
    Clarke, E
    Zhu, YS
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1999, 1579 : 193 - 207
  • [8] Application of symbolic FSM Markovian analysis to protocol verification
    Baldi, M
    Macii, A
    Macii, E
    Poncino, R
    [J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (05): : 221 - 226
  • [9] GENERATING BDDS FOR SYMBOLIC MODEL CHECKING IN CCS
    ENDERS, R
    FILKORN, T
    TAUBNER, D
    [J]. DISTRIBUTED COMPUTING, 1993, 6 (03) : 155 - 164
  • [10] BDDs for Representing Data in Runtime Verification
    Havelund, Klaus
    Peled, Doron
    [J]. RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 107 - 128
12345