Abstract modeling formalisms in software model checking

被引：0
|
作者：
College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing [1 ]
210016, China
不详 [2 ]
210037, China
机构：
来源：
Jisuanji Yanjiu yu Fazhan | / 7卷 / 1580-1603期
关键词：
721.1 Computer Theory; Includes Formal Logic; Automata Theory; Switching Theory; Programming Theory - 903.1 Information Sources and Analysis;
D O I：
10.7544/issn1000-1239.2015.20140413
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Abstract matching for software model checking
    de la Cámara, P
    del Mar Gallardo, M
    Merino, P
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2006, 3925 : 182 - 200
  • [2] Software model checking: Searching for computations in the abstract or the concrete
    Godefroid, P
    Klarlund, N
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2005, 3771 : 20 - 32
  • [3] Model checking abstract components within concrete software environments
    Bao, Tonglaga
    Jones, Mike
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 42 - 59
  • [4] Modeling and model checking software product lines
    Gruler, Alexander
    Leucker, Martin
    Scheidemann, Kathrin
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 113 - 131
  • [5] The impact of modeling formalisms on software maintenance
    Darcy, David P.
    Palmer, Jonathan W.
    IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2006, 53 (04) : 583 - 596
  • [6] Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software
    Lv, Mingsong
    Yi, Wang
    Guan, Nan
    Yu, Ge
    31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 339 - 349
  • [7] Abstract regular model checking
    Bouajjani, A
    Habermehl, P
    Vojnar, T
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 372 - 386
  • [8] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [9] Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework
    Wang S.
    Du Y.
    Han Z.
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2020, 48 (05): : 997 - 1002
  • [10] Rapid Property Specification and Checking for Model-Based Formalisms
    Balasubramanian, Daniel
    Pap, Gabor
    Nine, Harmon
    Karsai, Gabor
    Lowry, Michael
    Pasareanu, Corina
    Pressburger, Tom
    2011 22ND IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP), 2011, : 121 - 127
12345