DiVinE 2.0

• 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