DiVinE 2.0

• Autoři: ROČKAI Petr; BARNAT Jiří; BRIM Luboš; ČEŠKA Milan
• Rok publikování: 2009
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/paradise/software.html#divine-2.0
• Popis: DiVinE 2.0 je paralelní nástroj pro verifikaci LTL vlastností. Nástroj používá jak algoritmy pro práci ve sdílené pameti na více-jadrových systémech tak i pro práci v distribuované paměti na víceuzlových výpočetních clusterech.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy
• Verifikace a analýza velmi velkých počítačových systémů
• Automatizovaná formální verifikace s využitím soudobého hardware