DiVinE Library

• Authors: BARNAT Jiří; BRIM Luboš; ČERNÁ Ivana; MORAVEC Pavel; ŠIMEČEK Pavel; CHALOUPKA Jakub
• Year of publication: 2006
• MU Faculty or unit: Faculty of Informatics
• Web: http://divine.fi.muni.cz
• Description: A library designed to support fast implementation of LTL Model Checkers that employ aggregate computational power of many network nodes to complete the verification task. Several prototype LTL model checking tools are part of the library. Models to be verified must be given in newly designed modeling language DVE.

Related projects

• Techniques for automatic verification and validation of software nad hardware systems
• Highly Parallel and Distributed Computing Systems
• Automated software verification