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 条
  • [1] Checking safety properties using compositional reachability analysis
    Cheung, SC
    Kramer, J
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 1999, 8 (01) : 49 - 78
  • [2] Verification of liveness properties using compositional reachability analysis
    Cheung, SC
    Giannakopoulou, D
    Kramer, J
    SOFTWARE ENGINEERING - ESEC/FSE '97, 1997, 1301 : 227 - 243
  • [3] Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis
    Lakshmi, K. Vasanta
    Acharya, Aravind
    Komondoor, Raghavan
    FM 2014: FORMAL METHODS, 2014, 8442 : 335 - 350
  • [4] Compositional reachability analysis of genetic networks
    Gossler, Gregor
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, PROCEEDINGS, 2006, 4210 : 212 - 226
  • [5] Model checking based on simultaneous reachability analysis
    Karaçali, B
    Tai, KC
    SPIN MODEL CHECKING AND SOFTWARE VERIFICATION, 2000, 1885 : 34 - 53
  • [6] Recurrent Reachability Analysis in Regular Model Checking
    To, Anthony Widjaja
    Libkin, Leonid
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 198 - 213
  • [7] Accelerate Safety Model Checking Based on Complementary Approximate Reachability
    Zhang, Xiaoyu
    Xiao, Shengping
    Xia, Yechuan
    Li, Jianwen
    Chen, Mingsong
    Pu, Geguang
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (09) : 3105 - 3117
  • [8] Selective search in bounded model checking of reachability properties
    Szreter, M
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 159 - 173
  • [9] Checking reachability properties for timed automata via SAT
    Wozna, B
    Zbrzezny, A
    Penczek, W
    FUNDAMENTA INFORMATICAE, 2003, 55 (02) : 223 - 241
  • [10] Directed Model Checking for Fast Abstract Reachability Analysis
    Lee, Nakwon
    Kim, Yunho
    Kim, Moonzoo
    Ryu, Duksan
    Baik, Jongmoon
    IEEE ACCESS, 2021, 9 : 158738 - 158750
12345