Wolf - Bug hunter for concurrent software using formal methods

被引：0

作者：

Barner, S ^{[1
]}

Glazberg, Z ^{[1
]}

Rabinovitz, I ^{[1
]}

机构：

[1] IBM Haifa Res Lab, Haifa, Israel

来源：

COMPUTER AIDED VERIFICATION, PROCEEDINGS | 2005年 / 3576卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Wolf is a "push-button" model checker for concurrent C programs developed in IBM Haifa. It automatically generates both the model and the specification directly from the C code. Currently, Wolf uses BDD-based symbolic methods integrated with a guided search framework. According to our experiments, these methods complement explicit exploration methods of software model checking.

引用

页码：153 / 157

页数：5

共 50 条

[41] SOFTWARE ENGINEERING - FORMAL METHODS .1.
DEMAN, J
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 361 - 361
[42] Formal foundations for software engineering methods - Introduction
Hussmann, H
[J]. FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
[43] Successful application of formal methods to software and hardware
Huling, G
[J]. WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 504 - 506
[44] Formal Methods for Robotic System Control Software
Kouskoulas, Yanni
Platzer, Andre
Kazanzides, Peter
[J]. JOHNS HOPKINS APL TECHNICAL DIGEST, 2013, 32 (02): : 490 - 498
[45] FORMAL SPECIFICATION METHODS AND NUMERICAL SOFTWARE - A CASE-STUDY USING Z
LUCENA, CJP
QIAN, YM
[J]. UTILITAS MATHEMATICA, 1993, 44 : 85 - 114
[46] Application of lightweight formal methods to software security
Gilliam, DP
Powell, JD
Bishop, M
[J]. FOURTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2005, : 160 - 165
[47] Formal engineering methods for software quality assurance
Liu, Shaoying
[J]. FRONTIERS OF COMPUTER SCIENCE, 2012, 6 (01) : 1 - 2
[48] APPLICATIONS OF FORMAL METHODS - DEVELOPING VIRTUOSO SOFTWARE
GERHART, SL
[J]. IEEE SOFTWARE, 1990, 7 (05) : 6 - 10
[49] ON THE RELEVANCE OF FORMAL METHODS TO SOFTWARE-DEVELOPMENT
FLOYD, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 1 - 11
[50] Formal Methods in Software Product Line Engineering
Schaefer, Ina
Hahnle, Reiner
[J]. COMPUTER, 2011, 44 (02) : 82 - 85

← 1 2 3 4 5 →