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 条
  • [31] Software development of power plant control systems using formal methods
    Shibamoto, T
    [J]. CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 45 - 67
  • [32] USING FORMAL METHODS TO SPECIFY THE FUNCTIONAL-PROPERTIES OF ENGINEERING SOFTWARE
    BAUGH, JW
    [J]. COMPUTERS & STRUCTURES, 1992, 45 (03) : 557 - 570
  • [33] Developing Software Bug Prediction Models Using Various Software Metrics as the Bug Indicators
    Gupta, Varuna
    Ganeshan, N.
    Singhal, Tarun K.
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2015, 6 (02) : 60 - 65
  • [34] Using Software Dependency to Bug Prediction
    He, Peng
    Li, Bing
    Ma, Yutao
    He, Lulu
    [J]. MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
  • [35] A formal method for building concurrent real-time software
    Fidge, C
    Kearney, P
    Utting, M
    [J]. IEEE SOFTWARE, 1997, 14 (02) : 99 - 106
  • [36] A Comparison of Summarization Methods for Duplicate Software Bug Reports
    Mukhtar, Samal
    Primadani, Claudia Cahya
    Lee, Seonah
    Jung, Pilsu
    [J]. ELECTRONICS, 2023, 12 (16)
  • [37] Teaching Formal Methods: From Software in the Small to Software in the Large
    Gallardo, Maria-del-Mar
    Panizo, Laura
    [J]. FORMAL METHODS TEACHING (FMTEA 2019), 2019, 11758 : 97 - 110
  • [38] Information Retrieval from Software Bug Ontology Exploiting Formal Concept Analysis
    Jindal, Shubhra Goyal
    Kaur, Arvinder
    [J]. COMPUTACION Y SISTEMAS, 2020, 24 (02): : 413 - 428
  • [39] Using formal methods for teaching software engineering: a tool-based approach
    Ciancarini, P
    Mascolo, C
    [J]. ANNALS OF SOFTWARE ENGINEERING, 1998, 6 : 433 - 453
  • [40] On the utility of formal methods in the development and certification of software
    Heitmeyer, Constance L.
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 1 - 2
12345