Tutorial: Parallel Model Checking

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	Úvod do paralelního ověřování modelu
Autoři	BRIM Luboš BARNAT Jiří
Rok publikování	2007
Druh	Článek ve sborníku
Konference	Model Checking Software
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	LTL Parallel Model Checking
Popis	S rostoucí složitostí komplexity počítačových systémů se stále důležitější vyvíjet metody pro ověřování jejich kvalit. Byly navženy různé techniky pro (polo-)automatizovanou analýzu a verifikaci těchto systémů, konkrétně například metoda ověřování modelu se jeví jako velmi použitelná v praxi. Hlavní myšlenkou metody je vytvořit model popisující daný systém a ověrit chování tohoto modelu. Ověřovací procedura je výpočetně náročná a tak jeden z možných přístupů k její realizaci je použití agregované síly paralelních systémů. Tento tutoriál dává přehlad základních technik použitých v paralelizaci ověřovací procedury.
Související projekty:	Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy Automatizovaná verifikace softwaru