Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

被引：0
|
作者：
机构：
[1] [1,Kong, Weiqiang
[2] Liu, Leyuan
[3] Ando, Takahiro
[4] Yatsu, Hirokazu
[5] Hisazumi, Kenji
[6] Fukuda, Akira
来源：
Kong, Weiqiang (wqkong@dlut.edu.cn) | 1600年 / Oxford University Press卷 / 58期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 37 条
  • [1] Facilitating Multicore Bounded Model Checking with Stateless Explicit-State ExplorationaEuro
    Kong, Weiqiang
    Liu, Leyuan
    Ando, Takahiro
    Yatsu, Hirokazu
    Hisazumi, Kenji
    Fukuda, Akira
    [J]. COMPUTER JOURNAL, 2015, 58 (11): : 2824 - 2840
  • [2] Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration
    Kong, Weiqiang
    Liu, Leyuan
    Ando, Takahiro
    Yatsu, Hirokazu
    Hisazumi, Kenji
    Fukuda, Akira
    [J]. 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 355 - 362
  • [3] AutoHyper: Explicit-State Model Checking for HyperLTL
    Beutner, Raven
    Finkbeiner, Bernd
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 145 - 163
  • [4] Quo Vadis Explicit-State Model Checking
    Sankowski, Piotr
    [J]. SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2015, 8939 : 46 - 57
  • [5] An FPGA Implementation of Explicit-State Model Checking
    Fuess, Mary Ellen
    Leeser, Miriam
    Leonard, Tim
    [J]. PROCEEDINGS OF THE SIXTEENTH IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, 2008, : 119 - +
  • [6] Directed explicit-state model checking in the validation of communication protocols
    Stefan Edelkamp
    Stefan Leue
    Alberto Lluch-Lafuente
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (2-3) : 247 - 267
  • [7] Exploiting heap symmetries in explicit-state model checking of software
    Iosif, R
    [J]. 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 254 - 261
  • [8] GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
    Wijs, Anton
    Neele, Thomas
    Bosnacki, Dragan
    [J]. FM 2016: FORMAL METHODS, 2016, 9995 : 694 - 701
  • [9] Explicit-State Software Model Checking Based on CEGAR and Interpolation
    Beyer, Dirk
    Loewe, Stefan
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, 2013, 7793 : 146 - 162
  • [10] Efficient Explicit-State Model Checking on General Purpose Graphics Processors
    Edelkamp, Stefan
    Sulewski, Damian
    [J]. MODEL CHECKING SOFTWARE, 2010, 6349 : 106 - 123
1234