DiVinE -- A Tool for Distributed Verification

• 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
• 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

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Techniques for automatic verification and validation of software nad hardware systems
• Institute for Theoretical Computer Science
• Highly Parallel and Distributed Computing Systems
• Automated software verification