Software model checking with SPIN

被引：21
|
作者：
Holzmann, GJ [1 ]
机构：
[1] CALTECH, NASA JPL, Jet Prop Lab, Lab Reliable Software, Pasadena, CA 91109 USA
来源：
ADVANCES IN COMPUTERS, VOL 65 | 2005年 / 65卷
关键词：
D O I：
10.1016/S0065-2458(05)65002-4
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：77 / 108
页数：32
相关论文
共 50 条
  • [1] Spin model checking - Reliable design of concurrent software
    Holzmann, GJ
    DR DOBBS JOURNAL, 1997, 22 (10): : 92 - &
  • [2] Using SPIN model checking for flight software verification
    Glück, PR
    Holzmann, GJ
    2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 105 - 113
  • [3] Preface of the special issue on Model Checking of Software Selected papers of the 20th International SPIN Symposium on Model Checking of Software
    Bartocci, Ezio
    Ramakrishnan, C. R.
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2016, 18 (04) : 355 - 357
  • [4] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [5] Model checking safety critical software with SPIN: An application to a railway interlocking system
    Cimatti, A
    Giunchiglia, F
    Mongardi, G
    Romano, D
    Torielli, F
    Traverso, P
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 284 - 295
  • [6] 27th International Symposium on Model Checking Software, SPIN 2021
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12864 LNCS
  • [7] Preface of the special issue on Model Checking of SoftwareSelected papers of the 20th International SPIN Symposium on Model Checking of Software
    Ezio Bartocci
    C. R. Ramakrishnan
    International Journal on Software Tools for Technology Transfer, 2016, 18 : 355 - 357
  • [8] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [9] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [10] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
12345