DiVinE -- A Tool for Distributed Verification
| Authors | |
|---|---|
| Year of publication | 2006 |
| Type | Article in Proceedings |
| Conference | Computer Aided Verification |
| MU Faculty or unit | |
| Citation | |
| Field | Informatics |
| Keywords | distributed verification; LTL model checking |
| Description | We present a tool for cluster-based LTL model-checking and reachability analysis. The tool incorporates several novel distributed-memory algorithms and provides a unique interface to use them. We describe the basic structure of the tool, discuss the main architecture decisions made, and briefly explain how the tool can be used. |
| Related projects: |
|