![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
DiVinE Library
Název česky | Knihovna DiVinE |
---|---|
Autoři | |
Rok publikování | 2006 |
Druh | Software |
Fakulta / Pracoviště MU | |
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: |