Distributed Verification: Exploring the Power of Raw Computing Power

Varování

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

Název česky	Distribuovana verifikace: Moznosti hrube vypocetni sily
Autoři	BRIM Luboš
Rok publikování	2006
Druh	Článek ve sborníku
Konference	5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	distributed verification
Popis	Prehled vysledku o distribuovane verifikaci.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru