DiVinE Multi-Core

• Authors: BARNAT Jiří; BRIM Luboš; ROČKAI Petr
• Year of publication: 2007
• MU Faculty or unit: Faculty of Informatics
• Web: http://anna.fi.muni.cz/divine/divine-mc/
• Description: Based on proven DiVinE LTL model checking system, DiVinE Multi-Core brings parallel verification to contemporary high-powered multi-core architectures. DiVinE Multi-Core exploits full power of modern x86 hardware and reduces unnecessary delays in workflow. Employing state-of-the-art parallel liveness checking algorithm, DiVinE Multi-Core offers unmatched scalability on shared memory platforms in the range of 2- to 16-core machines. 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

• Techniques for automatic verification and validation of software nad hardware systems
• Highly Parallel and Distributed Computing Systems
• Automated software verification