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 条
  • [21] Software model checking for resources race
    Hong Wang
    Tao Zhang
    Cluster Computing, 2017, 20 : 179 - 193
  • [22] Software model checking with abstraction refinement
    Podelski, A
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 1 - 3
  • [23] Software model checking: The Bandera approach
    Dwyer, Matthew
    IFIP Advances in Information and Communication Technology, 2002, 81 : 3 - 4
  • [24] Parallel Assignments in Software Model Checking
    Stokely, Murray
    Chaki, Sagar
    Ouaknine, Joel
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 77 - 94
  • [25] Software testing via model checking
    Belli, F
    Güldali, B
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
  • [26] Software model checking for resources race
    Wang, Hong
    Zhang, Tao
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (01): : 179 - 193
  • [27] Model checking large software specifications
    Chan, W
    Anderson, RJ
    Beame, P
    Burns, S
    Modugno, F
    Notkin, D
    Reese, JD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 498 - 520
  • [28] Software Model Checking: The VeriSoft Approach
    Patrice Godefroid
    Formal Methods in System Design, 2005, 26 : 77 - 101
  • [29] Translating software designs for model checking
    Xie, F
    Levin, V
    Kurshan, RR
    Browne, JC
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 324 - 338
  • [30] Executable Counterexamples in Software Model Checking
    Gennari, Jeffrey
    Gurfinkel, Arie
    Kahsai, Temesghen
    Navas, Jorge A.
    Schwartz, Edward J.
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 17 - 37
12345