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 条
  • [41] Model Checker Execution Reports
    Castano, Rodrigo
    Braberman, Victor
    Garbervetsky, Diego
    Uchitel, Sebastian
    PROCEEDINGS OF THE 2017 32ND IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE'17), 2017, : 200 - 205
  • [42] A Markov chain model checker
    Hermanns, H
    Katoen, JP
    Meyer-Kayser, J
    Siegle, M
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2000, 1785 : 347 - 362
  • [43] A Distributed CTL Model Checker
    Stoica, Laura Florentina
    Boian, Florian Mircea
    Stoica, Florin
    PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON E-BUSINESS (ICE-B 2013), 2013, : 379 - 386
  • [44] opaal: A Lattice Model Checker
    Dalsgaard, Andreas Engelbredt
    Hansen, Rene Rydhof
    Jorgensen, Kenneth Yrke
    Larsen, Kim Gulstrand
    Olesen, Mads Chr.
    Olsen, Petur
    Srba, Jiri
    NASA FORMAL METHODS, 2011, 6617 : 487 - 493
  • [45] Goanna - A static model checker
    Fehnker, Ansgar
    Huuck, Ralf
    Jayet, Patrick
    Lussenburg, Michel
    Rauch, Felix
    FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 297 - 300
  • [46] ProB: A model checker for B
    Leuschel, M
    Butler, M
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 855 - 874
  • [47] Ymer: A statistical model checker
    Younes, HLS
    COMPUTER AIDED VERIFICATION< PROCEEDINGS, 2005, 3576 : 429 - 433
  • [48] AlPiNA: A Symbolic Model Checker
    Buchs, Didier
    Hostettler, Steve
    Marechal, Alexis
    Risoldi, Matteo
    APPLICATIONS AND THEORY OF PETRI NETS, PROCEEDINGS, 2010, 6128 : 287 - 296
  • [49] Comments on "The model checker SPIN"
    Bang, KS
    Choi, JY
    Yoo, C
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2001, 27 (06) : 573 - 576
  • [50] The Bounded Model Checker LLBMC
    Falke, Stephan
    Merz, Florian
    Sinz, Carsten
    2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 706 - 709
12345