Typical Structural Properties of State Spaces

Investor logo

Warning

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

PELÁNEK Radek

Year of publication 2004
Type Article in Proceedings
Conference SPIN Workshop 2004
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords explicit model checking; state space exploration
Description Explicit model checking algorithms explore the full state space of a system. We have gathered a large collection of state spaces and performed an extensive study of their structural properties. The results show that state spaces have several typical properties and that they differ significantly from both random graphs and regular graphs. We point out how to exploit these typical properties in practical model checking algorithms.
Related projects:

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