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 条
  • [31] Distributed and Predictable Software Model Checking
    Lopes, Nuno P.
    Rybalchenko, Andrey
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 340 - +
  • [32] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
  • [33] Special issue: Software model checking
    Sharygina, N
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (2-3) : 103 - 103
  • [34] A Decade of Software Model Checking with SLAM
    Ball, Thomas
    Levin, Vladimir
    Rajamani, Sriram K.
    COMMUNICATIONS OF THE ACM, 2011, 54 (07) : 68 - 76
  • [35] The role of model checking in software engineering
    Anil Kumar Karna
    Yuting Chen
    Haibo Yu
    Hao Zhong
    Jianjun Zhao
    Frontiers of Computer Science, 2018, 12 : 642 - 668
  • [36] Goanna: Syntactic Software Model Checking
    Huuck, Ralf
    Fehnker, Ansgar
    Seefried, Sean
    Brauer, Joerg
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 216 - 221
  • [37] The role of model checking in software engineering
    Karna, Anil Kumar
    Chen, Yuting
    Yu, Haibo
    Zhong, Hao
    Zhao, Jianjun
    FRONTIERS OF COMPUTER SCIENCE, 2018, 12 (04) : 642 - 668
  • [38] 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
  • [39] Software model checking: The VeriSoft approach
    Godefroid, P
    FORMAL METHODS IN SYSTEM DESIGN, 2005, 26 (02) : 77 - 101
  • [40] Model checking: From hardware to software
    Henzinger, TA
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 176 - 177
12345