DiVinE Library

Barnat,  Jiří; Brim,  Luboš; Černá,  Ivana; Moravec,  Pavel; Šimeček,  Pavel; Chaloupka,  Jakub

DiVinE Library

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