DiVinE -- A Tool for Distributed Verification

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

Year of publication 2006
Type Article in Proceedings
Conference Computer Aided Verification
MU Faculty or unit

Faculty of Informatics

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:

You are running an old browser version. We recommend updating your browser to its latest version.