DiVinE -- A Tool for Distributed Verification

• 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
• 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