Publication details
DiVinE Multi
-Core
| Basic information | |
|---|---|
| Original title: | DiVinE Multi-Core |
| Authors: | Jiří Barnat, Luboš Brim, Petr Ročkai |
| Further information | |
|---|---|
| Citation: | BARNAT, Jiří - BRIM, Luboš - ROČKAI, Petr. DiVinE Multi-Core. 2007. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://anna.fi.muni.cz/divine/divine-mc/ |
| Type: | Software |
| Keywords: | parallel verification; multi-core architecture; model-checking |
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
