Efficient Large-Scale 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	Efektivní verifikace rosáhlých modelů
Autoři	VERSTOEP Kees BAL Henri E. BARNAT Jiří BRIM Luboš
Rok publikování	2009
Druh	Článek ve sborníku
Konference	23rd IEEE International Parallel & Distributed Processing Symposium
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	model checking; distributed; parallel; large-scale
Popis	Model checking je populární technika používaná pro analýzu a verifikaci systémů. Boužel její použití je limitováno problémem stavové exploze. Nástroje, které překonávají tento problém s použitím prostředí distribuovanou pamětí existují, byly ale testovány pouze na malých klastrech. V tomto článku je navrženo několik obecných technik, které umožňují efektivní využití výpočetních zdrojů i v případě použití rozsáhlých systémů s distribuovanou pamětí.
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