R 2009

DiVinE 2.0

ROČKAI, Petr, Jiří BARNAT, Luboš BRIM and Milan ČEŠKA

Basic information

Original name

DiVinE 2.0

Name in Czech

DiVinE 2.0

Authors

ROČKAI, Petr (703 Slovakia, belonging to the institution), Jiří BARNAT (203 Czech Republic, guarantor, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution) and Milan ČEŠKA (203 Czech Republic, belonging to the institution)

Edition

2009

Other information

Language

English

Type of outcome

Software

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

RIV identification code

RIV/00216224:14330/09:00028810

Organization unit

Faculty of Informatics

Keywords in English

parallel verification; multi-core; model-checking; cluster; mpi

Technical parameters

Paralelní verifikační nástroj pro ověřování modelů LTL vlastností.

Tags

Tags

International impact
Změněno: 18/2/2013 12:42, RNDr. Petr Ročkai, Ph.D.

Abstract

ORIG CZ

V originále

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).

In Czech

DiVinE 2.0 je paralelní nástroj pro verifikaci LTL vlastností. Nástroj používá jak algoritmy pro práci ve sdílené pameti na více-jadrových systémech tak i pro práci v distribuované paměti na víceuzlových výpočetních clusterech.

Links

GA201/09/1389, research and development project
Name: Verifikace a analýza velmi velkých počítačových systémů
Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems
GD102/05/H050, research and development project
Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
GP201/09/P497, research and development project
Name: Automatizovaná formální verifikace s využitím soudobého hardware
Investor: Czech Science Foundation, Automated formal verification using modern hardware
MSM0021622419, plan (intention)
Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development project
Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems