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 条
  • [11] Compositional Model Checking for Multi-properties
    Goudsmid, Ohad
    Grumberg, Orna
    Sheinvald, Sarai
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2021, 2021, 12597 : 55 - 80
  • [12] An Improvement in Decomposed Reachability Analysis for Symbolic Model Checking
    Donataccio, Nicholas
    Zheng, Hao
    2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 50 - 57
  • [13] Checking Static Properties Using Conservative SAT Approximations for Reachability
    Antonino, Pedro
    Gibson-Robinson, Thomas
    Roscoe, A. W.
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2017, 2017, 10623 : 233 - 250
  • [14] Residual checking of safety properties
    Dwyer, Matthew B.
    Purandare, Rahul
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 1 - 2
  • [15] Model Checking as A Reachability Problem
    Vardi, Moshe Y.
    REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 35 - 35
  • [16] Model checking of safety properties
    Kupferman, O
    Vardi, MY
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (03) : 291 - 314
  • [17] Model Checking of Safety Properties
    Orna Kupferman
    Moshe Y. Vardi
    Formal Methods in System Design, 2001, 19 : 291 - 314
  • [18] Reachability analysis of pushdown automata: Application to model-checking
    Bouajjani, A
    Esparza, J
    Maler, O
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 135 - 150
  • [19] Efficient reduction of finite state model checking to reachability analysis
    Viktor Schuppan
    Armin Biere
    International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 185 - 204
  • [20] The Compositional Method and Regular Reachability
    Felscher, Ingo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 103 - 117
12345