DiVinE Multi-Core

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

BARNAT Jiří BRIM Luboš ROČKAI Petr

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

Fakulta informatiky

www http://anna.fi.muni.cz/divine/divine-mc/
Popis DiVinE-MC je paralelní nástroj pro verifikaci LTL vlastností. Nástroj pouzívá algoritmy pro práci ve sdílené pameti na více-jadrových systémech.
Související projekty:

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