Fighting state space explosion: Review and evaluation

Fighting state space explosion: Review and evaluation (2008)

by Radek Pelánek

Venue:	In Proc. of Formal Methods for Industrial Critical Systems (FMICS’08
Citations:	6 - 3 self

Datum	Value	Source
TITLE	Fighting state space explosion: Review and evaluation	INFERENCE
AUTHOR NAME	Radek Pelánek	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Information Technology, Faculty of Informatics; Masaryk University Brno	SVM HeaderParse 0.2
AUTHOR ADDR	Czech Republic	SVM HeaderParse 0.2
ABSTRACT	Abstract. 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. 1	SVM HeaderParse 0.2
YEAR	2008	INFERENCE
VENUE	In Proc. of Formal Methods for Industrial Critical Systems (FMICS’08	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
CITATIONS	72 found	ParsCit 1.0