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 条
  • [21] Building your own software model checker using the Bogor extensible model checking framework
    Dwyer, MB
    Hatcliff, J
    Hoosier, M
    Robby
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 148 - 152
  • [22] Model checking of software components: Combining Java']Java PathFinder and behavior protocol model checker
    Parizek, Pavel
    Plasil, Frantisek
    Kofron, Jan
    30TH ANNUAL IEEE/NASA SOFTWARE ENGINEERING WORKSHOP, PROCEEDINGS, 2006, : 133 - +
  • [23] A Model Checker for AADL
    Bozzano, Marco
    Cimatti, Alessandro
    Katoen, Joost-Pieter
    Nguyen, Viet Yen
    Noll, Thomas
    Roveri, Marco
    Wimmer, Ralf
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 562 - +
  • [24] Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker
    Barreto, Raimundo
    Cordeiro, Lucas
    Fischer, Bernd
    2011 BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEM ENGINEERING (SBESC), 2011, : 46 - 52
  • [25] Action Language verifier: an infinite-state model checker for reactive software specifications
    Yavuz-Kahveci, Tuba
    Bultan, Tevfik
    FORMAL METHODS IN SYSTEM DESIGN, 2009, 35 (03) : 325 - 367
  • [26] Action Language verifier: an infinite-state model checker for reactive software specifications
    Tuba Yavuz-Kahveci
    Tevfik Bultan
    Formal Methods in System Design, 2009, 35 : 325 - 367
  • [27] The SmlMC model checker
    Boeke, W
    DR DOBBS JOURNAL, 2003, 28 (03): : 48 - +
  • [28] The JKIND Model Checker
    Gacek, Andrew
    Backes, John
    Whalen, Mike
    Wagner, Lucas
    Ghassabani, Elaheh
    COMPUTER AIDED VERIFICATION, CAV 2018, PT II, 2018, 10982 : 20 - 27
  • [29] The model checker SPIN
    Holzmann, GJ
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 279 - 295
  • [30] The SPINJA Model Checker
    de Jonge, Marc
    Ruys, Theo C.
    MODEL CHECKING SOFTWARE, 2010, 6349 : 124 - 128
12345