DiVinE – A Tool for Distributed Verification
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.
KeywordsModel Check Linear Temporal Logic Reachability Analysis Linear Temporal Logic Formula Sequential Tool
Unable to display preview. Download preview PDF.