Software Model Checking Takes Off

被引：79
|
作者：
Miller, Steven P. [1 ]
Whalen, Michael W. [2 ]
Cofer, Daren D. [1 ]
机构：
[1] Rockwell Collins, Adv Technol Ctr, Cedar Rapids, IA USA
[2] Univ Minnesota, Software Engn Ctr, Minneapolis, MN USA
来源：
COMMUNICATIONS OF THE ACM | 2010年 / 53卷 / 02期
关键词：
D O I：
10.1145/1646353.1646372
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
A translator framework enables the use of model checking in complex avionics systems and other industrial settings. © 2010 ACM.
引用
收藏
页码：58 / 64
页数：7
相关论文
共 50 条
  • [1] Free software takes off
    Alper, J
    RECHERCHE, 1999, (319): : 27 - 29
  • [2] Software takes the edge off blending
    Argyle, E
    MACHINE DESIGN, 1997, 69 (09) : 131 - &
  • [3] Software Model Checking
    Jhala, Ranjit
    Majumdar, Rupak
    ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [4] Software takes the load off joint modeling
    Mach Des, 9 (79):
  • [5] GRIN TAKES OFF BUT SOFTWARE LAGS BEHIND
    ATKINSON, LG
    PHOTONICS SPECTRA, 1993, 27 (11) : 167 - &
  • [6] Software takes the load off joint modeling
    Rutman, A
    Bales-Kogan, J
    MACHINE DESIGN, 1998, 70 (09) : 79 - 82
  • [7] Model Checking of Software for Microcontrollers
    Schlich, Bastian
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 9 (04)
  • [8] Tutorial: Software model checking
    Clarke, E
    Kroening, D
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 9 - 10
  • [9] Modular model checking of software
    Laster, K
    Grumberg, O
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 1998, 1384 : 20 - 35
  • [10] Advances in Software Model Checking
    Siddiqui, Junaid H.
    Rauf, Affan
    Ghafoor, Maryam A.
    ADVANCES IN COMPUTERS, VOL 108, 2018, 108 : 59 - 89
12345