文章基本信息

标题：Sequential and Parallel Algorithms for the State Space Exploration
本地全文：下载
作者：Lamia Allal ; Ghalem Belalem ; Philippe Dhaussy 等
期刊名称：Cybernetics and Information Technologies
印刷版ISSN：1311-9702
电子版ISSN：1314-4081
出版年度：2016
卷号：16
期号：1
页码：3
DOI：10.1515/cait-2016-0001
出版社：Bulgarian Academy of Science
摘要：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.
关键词：Model checking; state explosion problem; sequential exploration; parallel ; exploration