DiVinE Cluster

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 Č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:

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