Sequential and Parallel Algorithms for the State Space Exploration

被引：3
|
作者：
Allal, Lamia [1 ]
Belalem, Ghalem [1 ]
Dhaussy, Philippe [2 ]
Teodorov, Ciprian [2 ]
机构：
[1] Univ Oran, Fac Exact & Appl Sci, Dept Comp Sci, 1 Ahmed Ben Bella, Oran, Algeria
[2] ENSTA Bretagne, CNRS, UMR 6285, Lab STICC, Brest, France
来源：
CYBERNETICS AND INFORMATION TECHNOLOGIES | 2016年 / 16卷 / 01期
关键词：
Model checking; state explosion problem; sequential exploration; parallel exploration;
D O I：
10.1515/cait-2016-0001
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this article, we are interested in the exploration part of model checking which consists in traversing all the possible states of a system. We propose two approaches to exploration, parallel and sequential. We present a comparison between our parallel approach and the parallel algorithm proposed in SPIN.
引用
收藏
页码：3 / 18
页数：16
相关论文
共 50 条
  • [1] Measuring and Evaluating Parallel State-Space Exploration Algorithms
    Ezekiel, Jonathan
    Luttgen, Gerald
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 47 - 61
  • [2] Improving Parallel State-Space Exploration Using Genetic Algorithms
    Renault, Etienne
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, 2018, 11181 : 133 - 149
  • [3] A PARALLEL ALGORITHM FOR THE STATE SPACE EXPLORATION
    Allal, Lamia
    Belalem, Ghalem
    Dhaussy, Philippe
    Teodorov, Ciprian
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2016, 17 (02): : 129 - 141
  • [4] Sequential optimisation without: State space exploration
    Mehrotra, A
    Qadeer, S
    Singhal, V
    Brayton, RK
    Aziz, A
    SangiovanniVincentelli, AL
    1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 208 - 215
  • [5] Parallel state space exploration for GSPN models
    Caselli, S
    Conte, G
    Marenzoni, P
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 181 - 200
  • [6] Efficient timing analysis algorithms for timed state space exploration
    Belluomini, W
    Myers, CJ
    THIRD INTERNATIONAL SYMPOSIUM ON ADVANCED RESEARCH IN ASYNCHRONOUS CIRCUITS AND SYSTEMS, PROCEEDINGS, 1997, : 88 - 100
  • [7] Fast Parallel Application and Multiprocessor Design Space Exploration from Sequential Code
    Schwambach, Vitor
    Cleyet-Merle, Sebastien
    Issard, Alain
    Mancini, Stephane
    2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 163 - 172
  • [8] Parallel Exploration of State Space with Reduced Cross Transitions Partitioning
    Serrano, Eleazar Jimenez
    2013 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND APPLICATIONS (CSA), 2013, : 431 - 436
  • [9] Exploration of sequential depth by evolutionary algorithms
    Drechsler, Nicole
    Drechsler, Rolf
    VLSI-SOC: FROM SYSTEMS TO CHIPS, 2006, 200 : 73 - +
  • [10] Parallel symbolic state-space exploration is difficult, but what is the alternative?
    Ciardo, Gianfranco
    Zhao, Yang
    Jin, Xiaoqing
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (14): : 1 - 17
12345