DIVINE - The Distributed Verification Environment
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, 2005, s. 89-94. |
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 VaV | Ná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ě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 | |
1ET408050503, projekt VaV | Ná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: 28. 9. 2024 02:35