Fighting State Space Explosion: Review and Evaluation

Logo poskytovatele

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 Boj se stavovou explozí: přehled a zhodnocení
Autoři

PELÁNEK Radek

Rok publikování 2008
Druh Článek ve sborníku
Konference Formal Methods for Industrial Critical Systems
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Obor Informatika
Klíčová slova model checking; state space explosion; review; evaluation; experience report
Popis Aby bylo možné v současnosti aplikovat formální metody v praxi, musí být uživatelé schopni uchopit velké množství odborné literatury a realisticky vyhodnotit praktický přínos jednotlivých přístupů. V této práci se zaměřujeme na metodu explicitního ověřování modelu a studujeme tuto metodu z pohledu uživatele z praxe. Nabízíme systematický přehled různých technik pro boj se stavovou explozí a analyzujeme trendy ve výzkumu. Popisujeme také několik vlastních praktických zkušeností. Náš hlavní závěr a doporučení pro uživatele je následující: buďte kritičtí k tvrzením o drastickém zlepšení, kterého dosahuje jedna sofistikovaná technika, raději používejte velké množství jednoduchých technik.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.