Fighting State Space Explosion: Review and Evaluation

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

PELÁNEK Radek

Year of publication 2008
Type Article in Proceedings
Conference Formal Methods for Industrial Critical Systems
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords model checking; state space explosion; review; evaluation; experience report
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.