Informace o publikaci
Tutorial: Parallel Model Checking
| Název česky | Úvod do paralelního ověřování modelu |
|---|---|
| Autoři | |
| Rok publikování | 2007 |
| Druh | Článek ve sborníku |
| Konference | Model Checking Software |
| Fakulta / Pracoviště MU | |
| 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: |