DiVinE -- A Tool for Distributed Verification

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Pavel MORAVEC, Petr ROČKAI a Pavel ŠIMEČEK. DiVinE -- A Tool for Distributed Verification. In Computer Aided Verification. Berlin: Springer Verlag, 2006, s. 278-281. ISBN 978-3-540-37406-0.

Základní údaje

Originální název

DiVinE -- A Tool for Distributed Verification

Název česky

DiVinE -- nástroj na distribuovanou verifikaci

Autoři

BARNAT, Jiří (203 Česká republika, garant), Luboš BRIM (203 Česká republika), Ivana ČERNÁ (203 Česká republika), Pavel MORAVEC (203 Česká republika), Petr ROČKAI (703 Slovensko) a Pavel ŠIMEČEK (203 Česká republika)

Vydání

Berlin, Computer Aided Verification, od s. 278-281, 4 s. 2006

Nakladatel

Springer Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/06:00015443

Organizační jednotka

Fakulta informatiky

ISBN

978-3-540-37406-0

ISSN

UT WoS

000240257000024

Klíčová slova anglicky

distributed verification; LTL model checking

Štítky

distributed verification, LTL model checking

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

V originále

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 main architecture decisions made, and briefly explain how the tool can be used.

Česky

Je prezentován nástroj pro cluter-based ověřování LTL vlastností modelu a analýzy dosažitelnosti. Nástroj zahrnuje několik nových algoritmů pracujících s distribuovanou pamětí a poskytuje unifikované rozhraní pro jejich použití. V článku je popsána základní struktura nástroje, hlavní architektoniská rozhodnutí a také je uveden stručný popis ovládání nástroje.

---

Návaznosti

GA201/06/1338, projekt VaV	Název: Automatizovaná verifikace softwaru Investor: Grantová agentura ČR, Automatizovaná verifikace softwaru
GD102/05/H050, projekt VaV	Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti 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ů
1M0545, projekt VaV	Název: Institut Teoretické Informatiky Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky