Publication details
Enhancing Random Walk State Space Exploration
| Basic information | |
|---|---|
| Original title: | Enhancing Random Walk State Space Exploration |
| Authors: | Radek Pelánek, Tomáš Hanžl, Ivana Černá, Luboš Brim |
| Further information | |
|---|---|
| Citation: | PELÁNEK, Radek  - HANŽL, Tomáš - ČERNÁ, Ivana - BRIM, Luboš. Enhancing Random Walk State Space Exploration. In Formal Methods for Industrial Critical Systems. Lisbon : ACM SIGSOFT, 2005. ISBN 1-59593-148-1, pp. 98-105. 2005, Lisbon. |
| Original language: | English |
| Field: | Informatika |
| Type: | Article in Proceedings |
| Keywords: | random walk; state space exploration |
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:
- Automated Verification of Parallel and Distributed Systems
- Integrated approach to education of PhD students in the area of parallel and distributed systems
- Techniques for automatic verification and validation of software nad hardware systems
- Highly Parallel and Distributed Computing Systems
