Publication details
DiVinE 2.0: High
-Performance Model Checking
| Basic information | |
|---|---|
| Original title: | DiVinE 2.0: High-Performance Model Checking |
| Authors: | Jiří Barnat, Luboš Brim, Petr Ročkai |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr. DiVinE 2.0: High-Performance Model Checking. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California) : IEEE Computer Society, 2009. ISBN 978-0-7695-3809-9, pp. 31-32. 2009, Trento. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | LTL Model Checking |
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.
Related projects:
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
- Verification and Analysis of Large-Scale Computer Systems
- Automated formal verification using modern hardware
