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.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
To get access to this content you need the following product:
- DiVinE – A Tool for Distributed Verification
- Springer Berlin Heidelberg
- Sequence number