DiVinE Cluster

• Autoři: BARNAT Jiří; BRIM Luboš; ČERNÁ Ivana; ČEŠKA Milan; ŠIMEČEK Pavel
• Rok publikování: 2008
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://divine.fi.muni.cz
• Popis: Nová generace nástroje DiVinE. Rozšiřující předchozí LTL Model Checker DiVinE. Významná rozšíření jsou zejména tato: * Částečná podpora modelovacího jazyka ProMeLa. * Rošíření škálovatelnosti a to na platformy o řádově větším počtu uzlů (stovky jader). * Akcelerace verifikačního procesu nahrazením interpretace modelů kompilovanou formou.

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