DiVinE Cluster

Barnat,  Jiří; Brim,  Luboš; Černá,  Ivana; Češka,  Milan; Šimeček,  Pavel

DiVinE Cluster

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 ČEŠKA Milan ŠIMEČEK Pavel
Year of publication	2008
MU Faculty or unit	Faculty of Informatics
Web	http://divine.fi.muni.cz
Description	New generation of DiVinE -- parallel LTL model checker. The major extensions include * Limited support for ProMeLa modelling language. * Improved scalability (up to hundreds of cores). * Improved model interpretation and pre-compilation subroutines.
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Highly Parallel and Distributed Computing Systems Automated software verification