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 条
  • [31] Symmetry reductions for model checking of concurrent dynamic software
    Iosif R.
    International Journal on Software Tools for Technology Transfer, 2004, 6 (4) : 302 - 319
  • [32] Expert configurator for concurrent engineering:: Cameleon software and model
    Aldanondo, M
    Rougé, S
    Véron, M
    JOURNAL OF INTELLIGENT MANUFACTURING, 2000, 11 (02) : 127 - 134
  • [33] Context-bounded model checking of concurrent software
    Qadeer, S
    Rehof, J
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 93 - 107
  • [34] Concurrent Chaining Hash Maps for Software Model Checking
    van der Berg, Freark, I
    van de Pol, Jaco
    2019 FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD), 2019, : 46 - 54
  • [35] Spin model checking - Reliable design of concurrent software
    Holzmann, GJ
    DR DOBBS JOURNAL, 1997, 22 (10): : 92 - &
  • [36] VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects
    Jia, Qiaowen
    Lv, Yi
    Wu, Peng
    Zhan, Bohua
    Hao, Jifeng
    Ye, Hong
    Wang, Chao
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2023, 2023, 13931 : 202 - 220
  • [37] The KIND 2 Model Checker
    Champion, Adrien
    Mebsout, Alain
    Sticksel, Christoph
    Tinelli, Cesare
    COMPUTER AIDED VERIFICATION: 28TH INTERNATIONAL CONFERENCE, CAV 2016, PT II, 2016, 9780 : 510 - 517
  • [38] MMC: the Mono Model Checker
    Ruys, Theo C.
    Aan de Brugh, Niels H. M.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 190 (01) : 149 - 160
  • [39] Expert configurator for concurrent engineering: Came´le´on software and model
    Michel Aldanondo
    Sylvie Rouge´
    Mathieu Ve´ron
    Journal of Intelligent Manufacturing, 2000, 11 : 127 - 134
  • [40] A 3-VIEW MODEL FOR PERFORMANCE ENGINEERING OF CONCURRENT SOFTWARE
    WOODSIDE, CM
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (09) : 754 - 767
12345