2008
DiVinE Cluster
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA, Pavel ŠIMEČEK et. al.Základní údaje
Originální název
DiVinE Cluster
Název česky
DiVinE Cluster
Autoři
BARNAT, Jiří (203 Česká republika), Luboš BRIM (203 Česká republika, garant), Ivana ČERNÁ (203 Česká republika), Milan ČEŠKA (203 Česká republika) a Pavel ŠIMEČEK (203 Česká republika)
Vydání
2008
Další údaje
Jazyk
anglič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í
Odkazy
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.
Příznaky
Mezinárodní význam
Změněno: 1. 6. 2009 23:17, prof. RNDr. Jiří Barnat, Ph.D.
V originále
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.
Č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 VaV |
| ||
| MSM0021622419, záměr |
| ||
| 1ET408050503, projekt VaV |
|