Abstraction and refinement in model checking

被引：0
|
作者：
Grumberg, Orna [1 ]
机构：
[1] Technion Israel Inst Technol, Dept Comp Sci, IL-32000 Haifa, Israel
来源：
FORMAL METHODS FOR COMPONENTS AND OBJECTS | 2006年 / 4111卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：219 / 242
页数：24
相关论文
共 50 条
  • [21] MODEL CHECKING AND ABSTRACTION
    CLARKE, EM
    GRUMBERG, O
    LONG, DE
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (05): : 1512 - 1542
  • [22] Abstraction Refinement for Emptiness Checking of Alternating Data Automata
    Iosif, Radu
    Xu, Xiao
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 93 - 111
  • [23] Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL
    Dimovski, Aleksandar S.
    Legay, Axel
    Wasowski, Andrzej
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2019), 2019, 11424 : 192 - 209
  • [24] Generalized abstraction-refinement for game-based CTL lifted model checking
    Dimovski, Aleksandar S.
    Legay, Axel
    Wasowski, Andrzej
    THEORETICAL COMPUTER SCIENCE, 2020, 837 (837) : 181 - 206
  • [25] A Type-Directed Abstraction Refinement Approach to Higher-Order Model Checking
    Ramsay, Steven J.
    Neatherway, Robin P.
    Ong, C. -H. Luke
    ACM SIGPLAN NOTICES, 2014, 49 (01) : 61 - 72
  • [26] Three-valued bounded model checking with cause-guided abstraction refinement
    Timm, Nils
    Gruner, Stefan
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 175 : 37 - 62
  • [27] 2-Valued and 3-Valued Abstraction-Refinement in Model Checking
    Grumberg, Orna
    LOGICS AND LANGUAGES FOR RELIABILITY AND SECURITY, 2010, 25 : 105 - 128
  • [28] Model checking for action abstraction
    Fecher, Harald
    Huth, Michael
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2008, 4905 : 112 - 126
  • [29] Stuttering abstraction for model checking
    Nejati, S
    Gurfinkel, A
    Chechik, M
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 311 - 320
  • [30] Model abstraction for stochastic model checking
    Liu, Yang
    Li, Xuan-Dong
    Ma, Yan
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (08): : 1853 - 1870
12345