DiVinE 2.0: High-Performance Model Checking

  title={DiVinE 2.0: High-Performance Model Checking},
  author={Jiri Barnat and Lubos Brim and Petr Rockai},
  journal={2009 International Workshop on High Performance Computational Systems Biology},
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. 
Highly Cited
This paper has 19 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 15 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…