首页    期刊浏览 2024年11月30日 星期六
登录注册

文章基本信息

  • 标题: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
国家哲学社会科学文献中心版权所有