Publication details

DiVinE 2.4

Investor logo
Investor logo
Authors

BARNAT Jiří BRIM Luboš ROČKAI Petr

Year of publication 2010
MU Faculty or unit

Faculty of Informatics

Web http://anna.fi.muni.cz/AS/divine-2.4.tar.gz
Description Tool for LTL model checking in distributed memory environment. Tool supports Partial Order Reduction and on-the-fly verification. Tool significantly extends its previous version DiVinE 2.0.
Related projects:

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

More info