DiVinE 2.0: High-Performance Model Checking

2009 International Workshop on High Performance Computational Systems Biology Pub Date : 2009-10-14 DOI:10.1109/HIBI.2009.10

J. Barnat, L. Brim, Petr Ročkai

引用次数: 28

Abstract

We present a tool for parallel enumerative LTL model-checking and reachability analysis. The tool brings model checking to high-powered multi-core systems, as well as high-performance clusters. Boasting pluggable modelling language framework, it is possible to leverage the available parallel algorithms for multiple problem domains, by using suitable input language.

查看原文本刊更多论文

DiVinE 2.0:高性能模型检查

提出了一种并行枚举LTL模型检查和可达性分析工具。该工具为高性能多核系统以及高性能集群带来了模型检查。拥有可插入的建模语言框架，可以通过使用合适的输入语言来利用多个问题域的可用并行算法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2009 International Workshop on High Performance Computational Systems Biology

自引率

0.00%

发文量