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: 12. 10. 2024 09:53