DiVinE 2.4

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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:	Highly Parallel and Distributed Computing Systems Verification and Analysis of Large-Scale Computer Systems Automated formal verification using modern hardware