Tool for LTL model checking in distributed memory environment. Tool supports Partial Order Reduction and on-the-fly verification. Tool significantly extends its previous version DiVinE 2.0. (en)
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.
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. (cs)