Informace o publikaci

DiVinE 2.0

Logo poskytovatele
Logo poskytovatele
Logo poskytovatele
Autoři

ROČKAI Petr BARNAT Jiří BRIM Luboš ČEŠKA Milan

Rok publikování 2009
Druh Software
Fakulta / Pracoviště MU

Fakulta informatiky

Popis DiVinE 2.0 je paralelní nástroj pro verifikaci LTL vlastností. Nástroj používá jak algoritmy pro práci ve sdílené pameti na více-jadrových systémech tak i pro práci v distribuované paměti na víceuzlových výpočetních clusterech.
Související projekty:

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

Další info