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 条

[41] ALGEBRA OF ALGORITHMS AND DYNAMIC PARALLEL EXECUTION OF SEQUENTIAL PROGRAMS
GLUSHKOV, VM
KAPITONOVA, YV
LETICHEVSKII, AA
CYBERNETICS, 1982, 18 (05): : 533 - 542
[42] Efficient sequential and parallel algorithms for planted motif search
Marius Nicolae
Sanguthevar Rajasekaran
BMC Bioinformatics, 15
[43] NEW SEQUENTIAL AND PARALLEL ALGORITHMS FOR INTERVAL GRAPH RECOGNITION
RAMALINGAM, G
RANGAN, CP
INFORMATION PROCESSING LETTERS, 1990, 34 (04) : 215 - 219
[44] Comparative study of parallel and sequential priority queue algorithms
Royal Inst of Technology , Stockholm, Sweden
ACM Trans Model Comput Simul, 2 (157-209):
[45] Sequential versus Parallel Cooperative Coevolutionary Algorithms for Optimization
Popovici, Elena
De Jong, Kenneth
2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6, 2006, : 1595 - +
[46] Sequential and parallel algorithms for causal explanation with background knowledge
Moole, Bhaskara Reddy
Valtorta, Marco
International Journal of Uncertainty, Fuzziness and Knowldege-Based Systems, 2004, 12 (SUPPL. 2): : 101 - 122
[47] CLUSTER IDENTIFICATION ALGORITHMS FOR SPIN MODELS - SEQUENTIAL AND PARALLEL
BAILLIE, CF
CODDINGTON, PD
CONCURRENCY-PRACTICE AND EXPERIENCE, 1991, 3 (02): : 129 - 144
[48] SEQUENTIAL AND PARALLEL ALGORITHMS FOR THE K CLOSEST PAIRS PROBLEM
LENHOF, HP
SMID, M
INTERNATIONAL JOURNAL OF COMPUTATIONAL GEOMETRY & APPLICATIONS, 1995, 5 (03) : 273 - 288
[49] SEQUENTIAL AND PARALLEL ALGORITHMS FOR FINDING MAXIMUM MATCHINGS IN GRAPHS
GALIL, Z
ANNUAL REVIEW OF COMPUTER SCIENCE, 1986, 1 : 197 - 224
[50] Sequential and parallel algorithms for causal explanation with background knowledge
Moole, BR
Valtorta, M
INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2004, 12 : 101 - 122

← 1 2 3 4 5 →