Publication details

DiVinE Cluster

Investor logo
Authors

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan ŠIMEČEK Pavel

Year of publication 2008
MU Faculty or unit

Faculty of Informatics

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.

More info