BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ a Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen. s. 89-94. 2005.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální 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 distributed, Model-Checking, parallel
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 22. 11. 2006 08:32.
Anotace
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.
Anotace č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 VaVNázev: Automatizovaná verifikace paralelních a distribuovaných systémů
Investor: Grantová agentura ČR, Automatizovaná verifikace paralelních a distribuovaných systémů
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, Vysoce paralelní a distribuované výpočetní systémy
1ET408050503, projekt VaVNázev: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů
VytisknoutZobrazeno: 29. 3. 2024 07:51