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 条
  • [1] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [2] Abstraction refinement for bounded model checking
    Gupta, A
    Strichman, O
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 112 - 124
  • [3] A Multiple Refinement Approach in Abstraction Model Checking
    Nguyen, Phan T. H.
    Bui, Thang H.
    COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT, CISIM 2014, 2014, 8838 : 433 - 444
  • [4] Model Sketching by Abstraction Refinement for Lifted Model Checking
    Dimovski, Aleksandar S.
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 1845 - 1848
  • [5] Relative completeness of abstraction refinement for software model checking
    Ball, T
    Podelski, A
    Rajamani, SK
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 158 - 172
  • [6] An efficient approach for abstraction-refinement in model checking
    Tian, Cong
    Duan, Zhenhua
    Zhang, Nan
    THEORETICAL COMPUTER SCIENCE, 2012, 461 : 76 - 85
  • [7] Integrating Evolutionary Computation with Abstraction Refinement for Model Checking
    He, Fei
    Song, Xiaoyu
    Hung, William N. N.
    Gu, Ming
    Sun, Jiaguang
    IEEE TRANSACTIONS ON COMPUTERS, 2010, 59 (01) : 116 - 126
  • [8] Abstraction-based model checking using heuristical refinement
    Qian, KR
    Nymeyer, A
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 165 - 178
  • [9] Combining abstraction refinement and SAT-Based model checking
    Amla, Nina
    McMillan, Kenneth L.
    Tools and Algorithms for the Construction and Analysis of Systems, Proceedings, 2007, 4424 : 405 - 419
  • [10] ARMC: The logical choice for software model checking with abstraction refinement
    Podelski, Andreas
    Rybalchenko, Andrey
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2007, 4354 : 245 - +
12345