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 条

[21] Efficient Sequential and Parallel Prime Sieve Algorithms
Bahig, Hazem M.
Hazber, Mohamed A. G.
Al-Utaibi, Khaled
Nassr, Dieaa I.
Bahig, Hatem M.
SYMMETRY-BASEL, 2022, 14 (12):
[22] Sequential and parallel approximate convex hull algorithms
Kim, CE
Stojmenovic, I
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1995, 14 (06): : 597 - 610
[23] Efficient sequential and parallel algorithms for record linkage
Abdullah-Al Mamun
Mi, Tian
Aseltine, Robert
Rajasekaran, Sanguthevar
JOURNAL OF THE AMERICAN MEDICAL INFORMATICS ASSOCIATION, 2014, 21 (02) : 252 - 262
[24] Conservative algorithms for parallel and sequential integer sorting
Han, YJ
Shen, XJ
COMPUTING AND COMBINATORICS, 1995, 959 : 324 - 333
[25] Parallel algorithms for the generalized predictive control based on state-space model
Kong Zhi Li Lun Yu Ying Yong, 5 (646-652):
[26] Sequential and parallel algorithms for mixed packing and covering
Young, NE
42ND ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2001, : 538 - 546
[27] Bounding algorithms for design space exploration
Chaudhuri, S
Walker, RA
NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 234 - 235
[28] Absolute Triangulation Algorithms for Space Exploration
Henry, Sebastien
Christian, John A.
JOURNAL OF GUIDANCE CONTROL AND DYNAMICS, 2022, 46 (01) : 21 - 46
[29] State Estimation Of Parallel Algorithms
Fan, Yingjie
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGISTICS, ENGINEERING, MANAGEMENT AND COMPUTER SCIENCE, 2014, 101 : 400 - 403
[30] HOW CAN PARALLEL ALGORITHMS HELP TO FIND NEW SEQUENTIAL ALGORITHMS
NAGY, ZM
JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1993, 33 (04): : 542 - 544

← 1 2 3 4 5 →