DiVinE Cluster

• 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