BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a Pavel ŠIMEČEK. DiVinE Cluster. 2008.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název DiVinE Cluster
Název česky DiVinE Cluster
Autoři BARNAT, Jiří (203 Česko), Luboš BRIM (203 Česko, garant), Ivana ČERNÁ (203 Česko), Milan ČEŠKA (203 Česko) a Pavel ŠIMEČEK (203 Česko).
Vydání 2008.
Další údaje
Originální jazyk angličtina
Typ výsledku Software
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česko
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14330/08:00024473
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky cluster-based parallel verification; model-checking;
Technické parametry LTL model checker využívající agregované výpočetní síly uzlů v klastru. Nástroj využívá rozhraní MPI. Verze 0.8.2.
Štítky cluster-based parallel verification, Model-Checking
Příznaky Mezinárodní význam
Změnil Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 6. 2009 23:17.
Anotace
New generation of DiVinE -- parallel LTL model checker. The major extensions include * Limited support for ProMeLa modelling language. * Improved scalability (up to hundreds of cores). * Improved model interpretation and pre-compilation subroutines.
Anotace česky
Nová generace nástroje DiVinE. Rozšiřující předchozí LTL Model Checker DiVinE. Významná rozšíření jsou zejména tato: * Částečná podpora modelovacího jazyka ProMeLa. * Rošíření škálovatelnosti a to na platformy o řádově větším počtu uzlů (stovky jader). * Akcelerace verifikačního procesu nahrazením interpretace modelů kompilovanou formou.
Návaznosti
GA201/06/1338, projekt VaVNázev: Automatizovaná verifikace softwaru
Investor: Grantová agentura ČR, Standardní projekty
MSM0021622419, záměrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Informační společnost (Národní program výzkumu)
VytisknoutZobrazeno: 3. 7. 2020 16:47