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 条
  • [1] Bounded model checking
    Biere, Armin
    Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 457 - 481
  • [2] Bounded Model Checking for LLVM
    Priya, Siddharth
    Su, Yusen
    Bao, Yuyan
    Zhou, Xiang
    Vizel, Yakir
    Gurfinkel, Arie
    2022 FORMAL METHODS IN COMPUTER-AIDED DESIGN, FMCAD, 2022, 3 : 214 - 224
  • [3] Bounded model checking with QBF
    Dershowitz, N
    Hanna, Z
    Katz, J
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, PROCEEDINGS, 2005, 3569 : 408 - 414
  • [4] Bounded model checking of CTL
    Tao, Zhi-Hong
    Zhou, Cong-Hua
    Chen, Zhong
    Wang, Li-Fu
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2007, 22 (01) : 39 - 43
  • [5] Bounded Model Checking of CTL
    Zhi-Hong Tao
    Cong-Hua Zhou
    Zhong Chen
    Li-Fu Wang
    Journal of Computer Science and Technology, 2007, 22 : 39 - 43
  • [6] Distributed bounded model checking
    Chatterjee, Prantik
    Roy, Subhajit
    Diep, Bui Phi
    Lal, Akash
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 64 (1) : 50 - 72
  • [7] Symbolic Causality Checking Using Bounded Model Checking
    Beer, Adrian
    Heidinger, Stephan
    Kuehne, Uwe
    Leitner-Fischer, Florian
    Leue, Stefan
    MODEL CHECKING SOFTWARE, SPIN 2015, 2015, 9232 : 203 - 221
  • [8] A Bounded Semantics for Improving the Efficiency of Bounded Model Checking
    Zhang, Wenhui
    Gao, Ya
    2022 26TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2022), 2022, : 97 - 106
  • [9] Simple bounded LTL model checking
    Latvala, T
    Biere, A
    Heljanko, K
    Junttila, T
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, PROCEEDINGS, 2004, 3312 : 186 - 200
  • [10] Bounded Model Checking for Asynchronous Hyperproperties
    Hsu, Tzu-Han
    Bonakdarpour, Borzoo
    Finkbeiner, Bernd
    Sanchez, Cesar
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 29 - 46
12345