DiVinE -- A Tool for Distributed Verification

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky DiVinE -- nástroj na distribuovanou verifikaci
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

Rok publikování 2006
Druh Článek ve sborníku
Konference Computer Aided Verification
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova distributed verification; LTL model checking
Popis 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.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.