DiVinE -- A Tool for Distributed Verification

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru