DiVinE Cuda

• Autoři: BARNAT Jiří; BRIM Luboš; BAUCH Petr; ČEŠKA Milan; LAMR Tomáš
• Rok publikování: 2009
• Druh: Software
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://divine.fi.muni.cz/page.php?page=divine-cuda
• Popis: Nová generace nástroje DiVinE, která dovoluje efektivní využítí moderních vysoce paralelních architektur pro akceleraci procesu LTL ověřování modelů (LTL Model Checking). Nástroj je zejména určen pro využití technologie CUDA, ktera je široce dostupná v současných grafickách kartách.

Související projekty

• 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
• Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů