2005
DIVINE - The Distributed Verification Environment
BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEKZákladní údaje
Originální název
DIVINE - The Distributed Verification Environment
Název česky
DIVINE -- Prostředí pro distribuovanou verifikaci
Autoři
BARNAT, Jiří (203 Česká republika, garant), Luboš BRIM (203 Česká republika), Ivana ČERNÁ (203 Česká republika) a Pavel ŠIMEČEK (203 Česká republika)
Vydání
Lisboa, Portugal, In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), od s. 89-94, 6 s. 2005
Nakladatel
TU Munchen
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/05:00012768
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
distributed; parallel; model-checking
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.
V originále
We present basic concepts and the current state of a general distributed verification environment (DiVinE). The environment is meant to support the development of distributed enumerative model checking algortihms, to enable unified and credible comparison of these algorithms, and to make the distributed verification available for public use in a form of a distributed verification tool.
Česky
Představujeme základní koncepty a současný stav obecného prostředí pro distribuovanou verifikaci (DiVinE). Toto prostředí má za cíl podporovat vývoj distribuovaných enumerativních algoritmů pro ověřování modelů, umožnit unifikované a důvěryhodné porovnání těchto algoritmů a zpřístupnit distribuovanou verifikaci odborné veřejnosti ve formě distribuovaného verifikačního nástroje.
Návaznosti
| GA201/03/0509, projekt VaV |
| ||
| MSM0021622419, záměr |
| ||
| 1ET408050503, projekt VaV |
|