| BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE 2.4. 2010. |
|
Další formáty:
BibTeX
LaTeX
RIS
|
| Základní údaje | |
|---|---|
| Originální název | DiVinE 2.4 |
| Název česky | DiVinE 2.4 |
| Název anglicky | DiVinE 2.4 |
| Autoři | BARNAT, Jiří (203 Česká republika, garant, domácí), Luboš BRIM (203 Česká republika, domácí) a Petr ROČKAI (703 Slovensko, domácí). |
| Vydání | 2010. |
| Další údaje | |
|---|---|
| Originální jazyk | čeština |
| Typ výsledku | Software |
| Obor | 10201 Computer sciences, information science, bioinformatics |
| Stát vydavatele | Česká republika |
| Utajení | není předmětem státního či obchodního tajemství |
| WWW | URL |
| Kód RIV | RIV/00216224:14330/10:00047904 |
| Organizační jednotka | Fakulta informatiky |
| Klíčová slova česky | počítání v distribuované paměti; ověřování modelu LTL; redukce částečným uspořádáním; on-the-fly verifikace |
| Klíčová slova anglicky | distributed-memory computing; LTL model checking; Partial Order Reduction; On-The-Fly verification |
| Technické parametry | Bez licence. |
| Změnil | Změnil: RNDr. Petr Ročkai, Ph.D., učo 139761. Změněno: 18. 2. 2013 12:43. |
| Anotace |
|---|
| Nástroj pro relalizaci verifikace metodou ověřování modelu pro formule LTL (LTL Model Checking) v prostředí s distribuovanou pamětí s podporou redukce velikosti stavového prostoru metodou částečného uspořádání a s podporou ranné detekce chybného běhu. Nástroj je významným rozšířením předchozí verze verifikačního nástroje DiVinE 2.0. |
| Anotace anglicky |
|---|
| Tool for LTL model checking in distributed memory environment. Tool supports Partial Order Reduction and on-the-fly verification. Tool significantly extends its previous version DiVinE 2.0. |
| Návaznosti | |
|---|---|
| GA201/09/1389, projekt VaV | Název: Verifikace a analýza velmi velkých počítačových systémů |
| Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů | |
| GP201/09/P497, projekt VaV | Název: Automatizovaná formální verifikace s využitím soudobého hardware |
| Investor: Grantová agentura ČR, Automatizovaná formální verifikace s využitím soudobého hardware | |
| MSM0021622419, záměr | Název: Vysoce paralelní a distribuované výpočetní systémy |
| Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy | |
VytisknoutZobrazeno: 10. 7. 2024 02:17