Informace o publikaci

DiVinE Cluster

Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan ŠIMEČEK Pavel

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

Fakulta informatiky

Popis Nová generace nástroje DiVinE. Rozšiřující předchozí LTL Model Checker DiVinE. Významná rozšíření jsou zejména tato: * Částečná podpora modelovacího jazyka ProMeLa. * Rošíření škálovatelnosti a to na platformy o řádově větším počtu uzlů (stovky jader). * Akcelerace verifikačního procesu nahrazením interpretace modelů kompilovanou formou.
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