Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{792699, author = {Pelánek, Radek}, address = {Německo}, booktitle = {Formal Methods for Industrial Critical Systems}, keywords = {model checking; state space explosion; review; evaluation; experience report}, language = {eng}, location = {Německo}, isbn = {3-642-03239-7}, publisher = {Springer}, title = {Fighting State Space Explosion: Review and Evaluation}, year = {2008} }
TY - JOUR ID - 792699 AU - Pelánek, Radek PY - 2008 TI - Fighting State Space Explosion: Review and Evaluation PB - Springer CY - Německo SN - 3642032397 KW - model checking KW - state space explosion KW - review KW - evaluation KW - experience report N2 - 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. ER -
PELÁNEK, Radek. Fighting State Space Explosion: Review and Evaluation. In \textit{Formal Methods for Industrial Critical Systems}. Německo: Springer, 2008, 15 s. ISBN~3-642-03239-7.
|