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 条
  • [41] Model checking: From hardware to software
    Henzinger, TA
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 176 - 177
  • [42] Model Checking Software in Cyberphysical Systems
    Sirjani, Marjan
    Lee, Edward A.
    Khamespanah, Ehsan
    2020 IEEE 44TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2020), 2020, : 1017 - 1026
  • [43] Model checking software at compile time
    Fehnker, Ansgar
    Huuck, Ralf
    Jayet, Patrick
    Lussenburg, Michel
    Rauch, Felix
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 45 - +
  • [44] αSPIN: A tool for abstract model checking
    María del Mar Gallardo
    Jesús Martínez
    Pedro Merino
    Ernesto Pimentel
    International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 165 - 184
  • [45] SPIN Model Checking for the BEE System
    Yamada, Chikatoshi
    Ganti, Sudhakar
    Miller, D. Michael
    TENCON 2015 - 2015 IEEE REGION 10 CONFERENCE, 2015,
  • [46] Model checking active networks with SPIN
    Gallardo, MD
    Martínez, J
    Merino, P
    COMPUTER COMMUNICATIONS, 2005, 28 (06) : 609 - 622
  • [47] Model Checking using Spin and SpinRCP
    Brezocnik, Zmago
    Vlaovic, Bostjan
    Vreze, Aleksander
    INFORMACIJE MIDEM-JOURNAL OF MICROELECTRONICS ELECTRONIC COMPONENTS AND MATERIALS, 2013, 43 (04): : 235 - 250
  • [48] Model checking transactional memory with Spin
    O'Leary, John
    Saha, Bratin
    Tuttle, Mark R.
    2009 29TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 2009, : 335 - 342
  • [49] Model Checking Transactional Memory with Spin
    O'Leary, John
    Saha, Bratin
    Tuttle, Mark R.
    PODC'08: PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2008, : 424 - 424
  • [50] Formal software analysis - Emerging trends in software model checking
    Dwyer, Matthew B.
    Hatcliff, John
    Robby
    Pasareanu, Corina S.
    Visser, Willem
    FOSE 2007: FUTURE OF SOFTWARE ENGINEERING, 2007, : 120 - +
12345