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 条
  • [41] Abstract Model Checking without Computing the Abstraction
    Tonetta, Stefano
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 89 - 105
  • [42] String Abstraction for Model Checking of C Programs
    Cortesi, Agostino
    Lauko, Henrich
    Olliaro, Martina
    Rockai, Petr
    MODEL CHECKING SOFTWARE, SPIN 2019, 2019, 11636 : 74 - 93
  • [43] Fair Model Checking with Process Counter Abstraction
    Sun, Jun
    Liu, Yang
    Roychoudhury, Abhik
    Liu, Shanshan
    Dong, Jin Song
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 123 - 139
  • [44] Abstraction Refinement Guided by a Learnt Probabilistic Model
    Grigore, Radu y
    Yang, Hongseok
    ACM SIGPLAN NOTICES, 2016, 51 (01) : 485 - 498
  • [45] ABSTRACTION REFINEMENT - A MODEL OF SOFTWARE EVOLUTION - REPLY
    KELLER, B
    NANCE, R
    JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1995, 7 (05): : 379 - 380
  • [46] ABSTRACTION REFINEMENT - A MODEL OF SOFTWARE EVOLUTION - DISCUSSION
    WARD, M
    JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE, 1995, 7 (05): : 377 - 378
  • [47] Compositional model checking and compositional refinement checking of concurrent reactive systems
    Wen, Yan-Jun
    Wang, Ji
    Qi, Zhi-Chang
    Ruan Jian Xue Bao/Journal of Software, 2007, 18 (06): : 1270 - 1281
  • [48] ARDIFF: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code
    Badihi, Sahar
    Akinotcho, Faridah
    Li, Yi
    Rubin, Julia
    PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 13 - 24
  • [49] On Refinement of Buchi Automata for Explicit Model Checking
    Blahoudek, Frantisek
    Duret-Lutz, Alexandre
    Rujbr, Vojtech
    Strejcek, Jan
    MODEL CHECKING SOFTWARE, SPIN 2015, 2015, 9232 : 66 - 83
  • [50] Abstract Interpretation and Partition Refinement for Model Checking
    Bull Eur Assoc Theor Comput Sci, 60 (296):
12345