Bounded Model Checking

被引：0
|
作者：
Biere, A [1 ]
Cimatti, A
Clarke, EM
Strichman, O
Zhu, YS
机构：
[1] ETH, Inst Comp Syst, CH-8092 Zurich, Switzerland
[2] Ist Ric Sci & Tecnol, I-38055 Povo, TN, Italy
[3] Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA
[4] Synopsys Inc, ATG, Mountain View, CA 94043 USA
来源：
ADVANCES IN COMPUTERS, VOL 58: HIGHLY DEPENDABLE SOFTWARE | 2003年 / 58卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：117 / 148
页数：32
相关论文
共 50 条
  • [41] Bounded model checking using satisfiability solving
    Clarke, E
    Biere, A
    Raimi, R
    Zhu, Y
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 7 - 34
  • [42] Bounded model checking for Markov decision processes
    Zhou, C.-H. (chzhou@ujs.edu.cn), 1600, Science Press (36):
  • [43] Bounded model checking with description logic reasoning
    Ben-David, Shoham
    Trefler, Richard
    Weddell, Grant
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2007, 4548 : 60 - +
  • [44] Proving more properties with bounded model checking
    Awedh, M
    Somenzi, F
    COMPUTER AIDED VERIFICATION, 2004, 3114 : 96 - 108
  • [45] Integrating Loop Acceleration Into Bounded Model Checking
    Frohn, Florian
    Giesl, Jurgen
    FORMAL METHODS, PT I, FM 2024, 2025, 14933 : 73 - 91
  • [46] Accelerating bounded model checking of safety properties
    Strichman, O
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (01) : 5 - 24
  • [47] Tarmo: A Framework for Parallelized Bounded Model Checking
    Wieringa, Siert
    Niemenmaa, Matti
    Heljanko, Keijo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (14): : 62 - 76
  • [48] Bounded probabilistic model checking with the Murφ verifier
    Della Penna, G
    Intrigila, B
    Melatti, I
    Tronci, E
    Zilli, MV
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 214 - 229
  • [49] Bounded probabilistic model checking with the Murφ verifier
    Della Penna, G
    Intrigila, B
    Melatti, I
    Tronci, E
    Zilli, MV
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 2004, 3312 : 214 - 229
  • [50] Parallel Bounded Model Checking of Security Protocols
    Kurkowski, Miroslaw
    Siedlecka-Lamch, Olga
    Szymoniak, Sabina
    Piech, Henryk
    PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2013), PT I, 2014, 8384 : 224 - 234
12345