Efficient Large-Scale Model Checking

• 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
• 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