DiVinE Multi-Core -- A Parallel LTL Model-Checker
| Authors | |
|---|---|
| Year of publication | 2008 |
| Type | Article in Proceedings |
| Conference | Automated Technology for Verification and Analysis |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | LTL Model Checking; Parallel; Tool |
| Description | We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically for multi-core and multi-cpu environments using shared memory. We show how the parallel algorithms allow the tool to exploit the power of contemporary hardware, which is based on increasing number of CPU cores in a single system, as opposed to increasing speed of a single CPU core. |
| Related projects: |