DiVinE Multi-Core

• Autoři: BARNAT Jiří; BRIM Luboš; ROČKAI Petr
• Rok publikování: 2007
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://anna.fi.muni.cz/divine/divine-mc/
• Popis: DiVinE-MC je paralelní nástroj pro verifikaci LTL vlastností. Nástroj pouzívá algoritmy pro práci ve sdílené pameti na více-jadrových systémech.

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