Checking subsystem safety properties in compositional reachability analysis

被引：12
|
作者：
Cheung, SC [1 ]
Kramer, J [1 ]
机构：
[1] HONG KONG UNIV SCI & TECHNOL,DEPT COMP SCI,HONG KONG,HONG KONG
来源：
PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING | 1996年
关键词：
D O I：
10.1109/ICSE.1996.493410
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：144 / 154
页数：11
相关论文
共 50 条
  • [41] Compositional Model Checking Is Lively
    de Putter, Sander
    Wijs, Anton
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 117 - 136
  • [42] Compositional reasoning in model checking
    Berezin, S
    Campos, S
    Clarke, EM
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 81 - 102
  • [43] Probabilistic Black-Box Reachability Checking
    Aichernig, Bernhard K.
    Tappler, Martin
    RUNTIME VERIFICATION (RV 2017), 2017, 10548 : 50 - 67
  • [44] Parameterized Compositional Model Checking
    Namjoshi, Kedar S.
    Trefler, Richard J.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 589 - 606
  • [45] Using Parallel and Distributed Reachability in Model Checking
    Allal, Lamia
    Belalem, Ghalem
    Dhaussy, Philippe
    Teodorov, Ciprian
    AMBIENT COMMUNICATIONS AND COMPUTER SYSTEMS, RACCCS 2017, 2018, 696 : 143 - 154
  • [46] Compositional and Quantitative Model Checking
    Larsen, Kim G.
    PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 35 - 42
  • [47] AN ALGORITHMIC PROCEDURE FOR CHECKING SAFETY PROPERTIES OF PROTOCOLS
    SABNANI, KK
    LAPONE, AM
    UYAR, MU
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1989, 37 (09) : 940 - 948
  • [48] Accelerating bounded model checking of safety properties
    Strichman, O
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (01) : 5 - 24
  • [49] Efficient reachability checking using sequential SAT
    Parthasarathy, G
    Iyer, MK
    Cheng, KT
    Wang, LC
    ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 418 - 423
  • [50] Efficient model checking of PSL safety properties
    Launiainen, T.
    Heljanko, K.
    Junttila, T.
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2011, 5 (06): : 479 - 492
12345