DiVinE Multi-Core

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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