Model checking: Software and beyond

被引：1
|
作者：
Clarke, Edmund M. [1 ]
Lerda, Flavio [1 ]
机构：
[1] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
来源：
JOURNAL OF UNIVERSAL COMPUTER SCIENCE | 2007年 / 13卷 / 05期
关键词：
formal methods; model checking;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems with unbounded state spaces, and its application to software and other systems.
引用
收藏
页码：639 / 649
页数：11
相关论文
共 50 条
  • [1] Advancing Software Model Checking Beyond Linear Arithmetic Theories
    Mahdi, Ahmed
    Scheibler, Karsten
    Neubauer, Felix
    Fraenzle, Martin
    Becker, Bernd
    [J]. HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016, 2016, 10028 : 186 - 201
  • [2] ONTOLOGY-DRIVEN SOFTWARE ENGINEERING: BEYOND MODEL CHECKING AND TRANSFORMATIONS
    Katasonov, Artem
    [J]. INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2012, 6 (02) : 205 - 242
  • [3] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [4] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [5] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [6] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    [J]. ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
  • [7] Modular model checking of software
    Laster, K
    Grumberg, O
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
  • [8] On Strings in Software Model Checking
    Hojjat, Hossein
    Rummer, Philipp
    Shamakhi, Ali
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2019, 2019, 11893 : 19 - 30
  • [9] Software model checking with SPIN
    Holzmann, GJ
    [J]. ADVANCES IN COMPUTERS, VOL 65, 2005, 65 : 77 - 108
  • [10] Model checking for software architectures
    Mateescu, R
    [J]. SOFTWARE ARCHITECTURE, 2004, 3047 : 219 - 224
12345