Abstract Interpretation and Partition Refinement for Model Checking

被引：0
|
作者：
机构：
来源：
Bull Eur Assoc Theor Comput Sci | / 60卷 / 296期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Counterexample driven refinement for abstract interpretation
    Gulavani, Bhargav S.
    Rajamani, Sriram K.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 474 - 488
  • [22] Abstract regular model checking
    Bouajjani, A
    Habermehl, P
    Vojnar, T
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 372 - 386
  • [23] Abstraction and refinement in model checking
    Grumberg, Orna
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 219 - 242
  • [24] Towards efficient partition refinement for checking reachability in timed automata
    Pólrola, A
    Penczek, W
    Szreter, M
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 2 - 17
  • [25] Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
    Payet, Etienne
    Spoto, Fausto
    AUTOMATED REASONING, IJCAR 2018, 2018, 10900 : 706 - 722
  • [26] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [27] Abstract Model Checking for Web Services
    QIAN Junyan
    Wuhan University Journal of Natural Sciences, 2008, (04) : 466 - 470
  • [28] Model Checking Linearizability via Refinement
    Liu, Yang
    Chen, Wei
    Liu, Yanhong A.
    Sun, Jun
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 321 - +
  • [29] Abstract Model Checking of tccp programs
    Alpuente, MarIa
    Gallardo, MarIa Del Mar
    Pimentel, Ernesto
    Villanueva, Alicia
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 112 : 19 - 36
  • [30] A symbolic semantics for abstract model checking
    Levi, F
    STATIC ANALYSIS, 1998, 1503 : 134 - 151
12345