Fighting State Space Explosion: Review and Evaluation
| Název česky | Boj se stavovou explozí: přehled a zhodnocení |
|---|---|
| Autoři | |
| Rok publikování | 2008 |
| Druh | Článek ve sborníku |
| Konference | Formal Methods for Industrial Critical Systems |
| Fakulta / Pracoviště MU | |
| 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: |