Zing: A model checker for concurrent software

被引：0
|
作者：
Andrews, T [1 ]
Qadeer, S [1 ]
Rajamani, SK [1 ]
Rehof, J [1 ]
Xie, YC [1 ]
机构：
[1] Stanford Univ, Stanford, CA 94305 USA
来源：
COMPUTER AIDED VERIFICATION | 2004年 / 3114卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：484 / 487
页数：4
相关论文
共 50 条
  • [1] Zing: Exploiting program structure for model checking concurrent software
    Andrews, T
    Qadeer, S
    Rajamani, SK
    Rehof, J
    Xie, YC
    CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, 2004, 3170 : 1 - 15
  • [2] Concurrent Algorithms in SPIN Model Checker
    Nawaz, M. Saqib
    Ali, Hussam
    Lali, M. IkramUllah
    PROCEEDINGS OF 14TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY PROCEEDINGS - FIT 2016, 2016, : 193 - 198
  • [3] The software model checker BlastApplications to software engineering
    Dirk Beyer
    Thomas A. Henzinger
    Ranjit Jhala
    Rupak Majumdar
    International Journal on Software Tools for Technology Transfer, 2007, 9 (5-6) : 505 - 525
  • [4] DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems
    Xiang, Dongming
    Zhao, Fang
    Liu, Yaping
    MATHEMATICS, 2021, 9 (09)
  • [5] Carmen: Software Component Model Checker
    Plsek, Ales
    Adamek, Jiri
    QUALITY OF SOFTWARE ARCHITECTURES, PROCEEDINGS, 2008, 5281 : 71 - +
  • [6] Integration of a software model checker into Isabelle
    Daum, M
    Maus, S
    Schirmer, N
    Seghir, MN
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2005, 3835 : 381 - 395
  • [7] Qualification of a Model Checker for Avionics Software Verification
    Wagner, Lucas
    Mebsout, Alain
    Tinelli, Cesare
    Cofer, Darren
    Slind, Konrad
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 404 - 419
  • [8] Using a hardware model checker to verify software
    Edwards, SA
    Ma, T
    Damiano, R
    2001 4TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, 2001, : 85 - 90
  • [9] Software library usage pattern extraction using a software model checker
    Liu, Chang
    Ye, En
    Richardson, Debra J.
    ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 301 - 304
  • [10] Towards Design and Implementation of Model Checker for System Software
    Matsuda, Motohiko
    Maeda, Toshiyuki
    Yonezawa, Akinori
    FIRST INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGIES FOR FUTURE DEPENDABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, : 117 - 121
12345