DiVinE 2.0: High-Performance Model Checking

Varování

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

Název česky	DiVinE 2.0: Vysokovýkonostní nástroj pro ověřování modelu
Autoři	BARNAT Jiří BRIM Luboš ROČKAI Petr
Rok publikování	2009
Druh	Článek ve sborníku
Konference	International Workshop on High Performance Computational Systems Biology
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	LTL Model Checking
Popis	V článku je představen nástroj pro paralelní enumerativní ověřování modelu LTL. Ve své aktuální verzi 2.0 je nástroj schopen efektivně využít HW platformu klastr výpočetních vícejádrových uzlů.
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