DiVinE 2.0

Investor logo
Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Arts. 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:

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