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 条
  • [41] 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
  • [42] 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 - +
  • [43] 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 - +
  • [44] Checking JML specifications using an extensible software model checking framework
    Edwin Robby
    Matthew B. Rodríguez
    John Dwyer
    International Journal on Software Tools for Technology Transfer, 2006, 8 (3) : 280 - 299
  • [45] Checking strong specifications using an extensible software model checking framework
    Robby
    Rodríguez, E
    Dwyer, MB
    Hatcliff, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2004, 2988 : 404 - 420
  • [46] IC3 software model checking
    Tim Lange
    Martin R. Neuhäußer
    Thomas Noll
    Joost-Pieter Katoen
    International Journal on Software Tools for Technology Transfer, 2020, 22 : 135 - 161
  • [47] Model checking software product lines with SNIP
    Andreas Classen
    Maxime Cordy
    Patrick Heymans
    Axel Legay
    Pierre-Yves Schobbens
    International Journal on Software Tools for Technology Transfer, 2012, 14 (5) : 589 - 612
  • [48] Partitioned model checking from software specifications
    Feng, Xiushan
    Hu, Alan J.
    Yang, Jin
    ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 583 - 587
  • [49] Selected dynamic issues in software model checking
    Nguyen V.Y.
    Ruys T.C.
    Nguyen, V. Y. (nguyen@cs.rwth-aachen.de), 2013, Springer Verlag (15) : 337 - 362
  • [50] Memoised Garbage Collection for Software Model Checking
    Nguyen, Viet Yen
    Ruys, Theo C.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2009, 5505 : 201 - +
12345