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 条
  • [1] FORMAL VERIFICATION OF CONCURRENT SOFTWARE
    SCHNEIDER, FB
    [J]. PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 59 - 59
  • [2] Using Formal Methods in Component Based Software Development
    Shirali-Shahreza, Sajad
    Shirali-Shahreza, Mohammad
    [J]. INNOVATIONS AND ADVANCES IN COMPUTER SCIENCES AND ENGINEERING, 2010, : 429 - 432
  • [3] Evidence Arguments for Using Formal Methods in Software Certification
    Denney, Ewen
    Pai, Ganesh
    [J]. 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 375 - 380
  • [4] Java']Java Bug Fixed with Formal Methods
    不详
    [J]. ERCIM NEWS, 2015, (101): : 55 - 55
  • [5] Formal methods and software reliability
    Holzmann, GJ
    [J]. SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 145 - 146
  • [6] Software engineering and formal methods
    Hinchey, Mike
    Jackson, Michael
    Cousot, Patrick
    Cook, Byron
    Bowen, Jonathan P.
    Margaria, Tiziana
    [J]. COMMUNICATIONS OF THE ACM, 2008, 51 (09) : 54 - 59
  • [7] Software engineering and formal methods
    Aichernig, Bernhard
    Beckert, Bernhard
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (03): : 255 - 256
  • [8] Software engineering and formal methods
    Bernhard Aichernig
    Bernhard Beckert
    [J]. Software & Systems Modeling, 2008, 7 : 255 - 256
  • [9] Formal Methods and Software Engineering
    Serna Montoya, Edgar
    [J]. REVISTA VIRTUAL UNIVERSIDAD CATOLICA DEL NORTE, 2010, 30 : 158 - 184
  • [10] FORMAL METHODS IN SOFTWARE ENGINEERING
    LEVESON, NG
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 929 - 931
12345