| ROČKAI, Petr, Jiří BARNAT, Luboš BRIM and Milan ČEŠKA. DiVinE 2.0. 2009. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| 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 | |
|---|---|
| Original language | English |
| Type of outcome | Software |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Czech Republic |
| Confidentiality degree | is not subject to a state or trade secret |
| WWW | URL |
| 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 | cluster, distributed memory, Model-Checking, MPI, multi-core architecture, parallel verification, shared memory |
| Tags | International impact |
| Changed by | Changed by: RNDr. Petr Ročkai, Ph.D., učo 139761. Changed: 18/2/2013 12:42. |
| Abstract |
|---|
| 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). |
| Abstract (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 | |
PrintDisplayed: 23/4/2024 08:23