Publication details
DiVinE 2.0
| Basic information | |
|---|---|
| Original title: | DiVinE 2.0 |
| Authors: | Petr Ročkai, Jiří Barnat, Luboš Brim, Milan Češka |
| Further information | |
|---|---|
| Citation: | ROČKAI, Petr  - BARNAT, Jiří - BRIM, Luboš - ČEŠKA, Milan. DiVinE 2.0. 2009. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://www.fi.muni.cz/paradise/software.html#divine-2.0 |
| Type: | Software |
| Keywords: | parallel verification; multi-core; model-checking; cluster; mpi |
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
