Application of model checking technology to automatically vulnerabilities finding in software

被引：0
|
作者：
College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Huazhong Ligong Daxue Xuebao | 2008年 / 2卷 / 70-73期
关键词：
8;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Software testing via model checking
    Belli, F
    Güldali, B
    COMPUTER AND INFORMATION SCIENCES - ISCIS 2004, PROCEEDINGS, 2004, 3280 : 907 - 916
  • [42] Software model checking for resources race
    Wang, Hong
    Zhang, Tao
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2017, 20 (01): : 179 - 193
  • [43] Software Model Checking: The VeriSoft Approach
    Patrice Godefroid
    Formal Methods in System Design, 2005, 26 : 77 - 101
  • [44] Model checking large software specifications
    Chan, W
    Anderson, RJ
    Beame, P
    Burns, S
    Modugno, F
    Notkin, D
    Reese, JD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (07) : 498 - 520
  • [45] Distributed and Predictable Software Model Checking
    Lopes, Nuno P.
    Rybalchenko, Andrey
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 340 - +
  • [46] Translating software designs for model checking
    Xie, F
    Levin, V
    Kurshan, RR
    Browne, JC
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 324 - 338
  • [47] SOFTWARE MODEL CHECKING FOR AVIONICS SYSTEMS
    Cofer, Darren
    Whalen, Michael
    Miller, Steven
    DASC: 2008 IEEE/AIAA 27TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1 AND 2, 2008, : 1209 - 1216
  • [48] Executable Counterexamples in Software Model Checking
    Gennari, Jeffrey
    Gurfinkel, Arie
    Kahsai, Temesghen
    Navas, Jorge A.
    Schwartz, Edward J.
    VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 17 - 37
  • [49] A Decade of Software Model Checking with SLAM
    Ball, Thomas
    Levin, Vladimir
    Rajamani, Sriram K.
    COMMUNICATIONS OF THE ACM, 2011, 54 (07) : 68 - 76
  • [50] Special issue: Software model checking
    Sharygina, N
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 25 (2-3) : 103 - 103
12345