DiVinE: Parallel Distributed Model Checker (Tool paper)

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BARNAT Jiří BRIM Luboš ČEŠKA Milan ROČKAI Petr
Rok publikování	2010
Druh	Článek ve sborníku
Konference	Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	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ů Rozsáhlé výpočetní systémy: modely, aplikace a verifikace