Other formats:
BibTeX
LaTeX
RIS
@article{792695,
author = {Pelánek, Radek},
article_number = {5},
keywords = {state space; explicit model checking; graph; experimental evaluation},
language = {eng},
issn = {1433-2779},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
title = {Properties of State Spaces and Their Applications},
volume = {10},
year = {2008}
}
TY - JOUR
ID - 792695
AU - Pelánek, Radek
PY - 2008
TI - Properties of State Spaces and Their Applications
JF - International Journal on Software Tools for Technology Transfer (STTT)
VL - 10
IS - 5
SP - 443-454
EP - 443-454
PB - Springer-Verlag GmbH
SN - 14332779
KW - state space
KW - explicit model checking
KW - graph
KW - experimental evaluation
N2 - Explicit model checking algorithms explore the full state space of a system. State spaces are usually treated as directed graphs without any specific features. We gather a large collection of state spaces and extensively study their structural properties. Our results show that state spaces have several typical properties, i.e., they are not arbitrary graphs. We also demonstrate that state spaces differ significantly from random graphs and that different classes of models (application domains, academic vs industrial) have different properties. We discuss consequences of these results for model checking experiments and we point out how to exploit typical properties of state spaces in practical model checking algorithms.
ER -
PELÁNEK, Radek. Properties of State Spaces and Their Applications. \textit{International Journal on Software Tools for Technology Transfer (STTT)}. Springer-Verlag GmbH, 2008, vol.~10, No~5, p.~443-454. ISSN~1433-2779.
|
