Enhancing Random Walk State Space Exploration

Investor logo
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 HANŽL Tomáš ČERNÁ Ivana BRIM Luboš

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

Faculty of Informatics

Citation
Field Informatics
Keywords random walk; state space exploration
Description We study the behavior of the random walk method in the context of model checking and its capacity to explore a state space. We describe the methodology we have used for observing the random walk and report on the results obtained. We also describe many possible enhancements of the random walk and study their behavior and limits. Finally, we discuss some practically important but often neglected issues like counterexamples, coverage estimation, and setting of parameters. Similar methodology can be used for studying other state space exploration techniques like bit-state hashing, partial storage methods, or partial order reduction.
Related projects:

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