Enhancing Random Walk State Space Exploration
| Authors | |
|---|---|
| Year of publication | 2005 |
| Type | Article in Proceedings |
| Conference | Formal Methods for Industrial Critical Systems |
| MU Faculty or unit | |
| 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: |