DiVinE 2.4

• Autoři: BARNAT Jiří; BRIM Luboš; ROČKAI Petr
• Rok publikování: 2010
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://anna.fi.muni.cz/AS/divine-2.4.tar.gz
• Popis: Nástroj pro relalizaci verifikace metodou ověřování modelu pro formule LTL (LTL Model Checking) v prostředí s distribuovanou pamětí s podporou redukce velikosti stavového prostoru metodou částečného uspořádání a s podporou ranné detekce chybného běhu. Nástroj je významným rozšířením předchozí verze verifikačního nástroje DiVinE 2.0.

Související projekty

• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů
• Automatizovaná formální verifikace s využitím soudobého hardware