DiVinE Multi-Core

Logo poskytovatele

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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.

Další info