DiVinE Library

• 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

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy
• Automatizovaná verifikace softwaru