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
相关论文
共 11 条
[1]  
[Anonymous], PROV PLUG IN PROD DE
[2]  
[Anonymous], 2001, MODEL CHECKING
[3]  
Esterel-Technologies, SCADE SUIT PROD DESC
[4]   THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER [J].
HALBWACHS, N ;
CASPI, P ;
RAYMOND, P ;
PILAUD, D .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1305-1320
[5]  
Holzmann G. J., 2003, The SPIN Model Checker: Primer and Reference Manual
[6]  
*IRST, NUSMV MOD CHECK
[7]  
*MATHW, MATHW SIM PROD DESCR
[8]  
MILLER S, 2006, INT J SOFTWARE T FEB
[9]  
Miller S., 2005, P AIAA GUID NAV CONT
[10]  
WHALEN M, 2007, P 12 INT WORKSH FORM
12