DiVinE Library

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.
Název česky Knihovna DiVinE
Autoři

BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMEČEK Pavel CHALOUPKA Jakub

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

Fakulta informatiky

www http://divine.fi.muni.cz
Popis Knihovna určená pro výstavbu LTL Model Checkerů využívajících k verifikaci agregovaných výpočetních prostředků mnoha výpočetních uzlů v jednom clusteru. Knihovna podporuje implementuci nově navržených paralelních algoritmů pro detekci akceptujících cyklů v grafu. Součástí knihovny je implementace prototypových nástrojů pro již navržené algoritmy, které umožňují použití celého prostředí bez nutnosti instalace dalšího software. Verifikované modely musí být zadány v nově navrženém modelovacím jazyce DVE.
Související projekty:

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