DiVinE 2.0

Ročkai,  Petr; Barnat,  Jiří; Brim,  Luboš; Češka,  Milan

DiVinE 2.0

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	ROČKAI Petr BARNAT Jiří BRIM Luboš ČEŠKA Milan
Year of publication	2009
MU Faculty or unit	Faculty of Informatics
Web	http://www.fi.muni.cz/paradise/software.html#divine-2.0
Description	DiVinE 2.0 exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE 2.0 offers unmatched scalability on both shared memory and distributed memory platforms in the range of 2- to 16-core machines and clusters thereof. Moreover, the tool supports 64-bit platforms out of the box, allowing it to leverage all the memory available in contemporary systems (and systems of the upcoming years).
Related projects:	Integrated approach to education of PhD students in the area of parallel and distributed systems Techniques for automatic verification and validation of software nad hardware systems Highly Parallel and Distributed Computing Systems Verification and Analysis of Large-Scale Computer Systems Automated formal verification using modern hardware