Zpět na hledáníDiVinE -- A Tool for Distributed Verification (2006)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/06:00015443 |
|---|---|
| Název v anglickém jazyce | DiVinE -- A Tool for Distributed Verification |
| Druh | J - Recenzovaný odborný článek (Jimp, Jsc a Jost) |
| Poddruh | - |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2006 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 6 |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 6 |
| Výčet všech uvedených jednotlivých tvůrců | Jiří Barnat (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5692792) Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Pavel Moravec (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6656536) Petr Ročkai (státní příslušnost: SK - Slovenská republika, domácí tvůrce: A, vedidk: 1292358) Pavel Šimeček (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 4006852) |
| Popis výsledku v anglickém jazyce | We present a tool for cluster-based LTL model-checking and reachability analysis. The tool incorporates several novel distributed-memory algorithms and provides a unique interface to use them. We describe the basic structure of the tool, discuss the mainarchitecture decisions made, and briefly explain how the tool can be used. |
| Klíčová slova oddělená středníkem | distributed verification; LTL model checking |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Lecture Notes in Computer Science (CAV 2006) |
|---|---|
| ISSN | 0302-9743 |
| e-ISSN | - |
| Svazek periodika | 2006 |
| Číslo periodika v rámci uvedeného svazku | 4144 |
| Stát vydavatele periodika | US - Spojené státy americké |
| Počet stran výsledku | 4 |
| Strana od-do | 278-281 |
| Kód UT WoS článku podle Web of Science | - |
| EID výsledku v databázi Scopus | - |
| Způsob publikování výsledku | - |
| Předpokládaný termín zveřejnění plného textu výsledku | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2007 |
| Specifikace | RIV/00216224:14330/06:00015443!RIV07-MSM-14330___ |
| Datum poslední aktualizace výsledku | 24.07.2007 |
| Kontrolní číslo | 10542639 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2007 | RIV/00216224:14330/06:00015443 v dodávce dat RIV07-GA0-14330___/01:1 |
|---|---|
| Dodáno AV ČR v roce 2007 | RIV/00216224:14330/06:00015443 v dodávce dat RIV07-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2008 | RIV/00216224:14330/06:00015443 v dodávce dat RIV08-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2008 | RIV/00216224:14330/06:00015443 v dodávce dat RIV08-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2009 | RIV/00216224:14330/06:00015443 v dodávce dat RIV09-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2009 | RIV/00216224:14330/06:00015443 v dodávce dat RIV09-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/06:00015443 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/06:00015443 v dodávce dat RIV10-AV0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu 1M | 1M0545 - Institut Teoretické Informatiky (2005 - 2009) |
|---|---|
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |