Fighting State Space Explosion: Review and Evaluation
PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In Formal Methods for Industrial Critical Systems. Německo: Springer, 2008, 15 s. ISBN 3-642-03239-7. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Fighting State Space Explosion: Review and Evaluation |
Název česky | Boj se stavovou explozí: přehled a zhodnocení |
Autoři | PELÁNEK, Radek (203 Česká republika, garant). |
Vydání | Německo, Formal Methods for Industrial Critical Systems, 15 s. 2008. |
Nakladatel | Springer |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Stať ve sborníku |
Obor | 10201 Computer sciences, information science, bioinformatics |
Stát vydavatele | Německo |
Utajení | není předmětem státního či obchodního tajemství |
Kód RIV | RIV/00216224:14330/08:00025026 |
Organizační jednotka | Fakulta informatiky |
ISBN | 3-642-03239-7 |
UT WoS | 000270704100003 |
Klíčová slova anglicky | model checking; state space explosion; review; evaluation; experience report |
Štítky | evaluation, experience report, Model checking, Review, state space explosion |
Příznaky | Mezinárodní význam, Recenzováno |
Změnil | Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 30. 3. 2010 09:52. |
Anotace |
---|
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner's point of view. We provide a systematic overview of techniques for fighting state space explosion and we analyse trends in the research. We also report on our own experience with practical performance of techniques. Our main conclusion and recommendation for practitioner is the following: be critical to claims of dramatic improvement brought by a single sophisticated technique, rather use many different simple techniques and combine them. |
Anotace česky |
---|
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. |
Návaznosti | |
---|---|
GP201/07/P035, projekt VaV | Název: Automatická analýza modelů pomocí procházení stavového prostoru |
Investor: Grantová agentura ČR, Automatická analýza modelů pomocí procházení stavového prostoru | |
1M0545, projekt VaV | Název: Institut Teoretické Informatiky |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky |
VytisknoutZobrazeno: 29. 8. 2024 00:26