SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
Probabilistic state space search
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
An analysis of bistate hashing
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
A Sweep-Line Method for State Space Exploration
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Exploring Very Large State Spaces Using Genetic Algorithms
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
On the Random Walk Method for Protocol Testing
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
A Probabilistic Approach to Automatic Verification of Concurrent Systems
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Uniform random sampling of traces in very large models
Proceedings of the 1st international workshop on Random testing
Resource-Aware Verification Using Randomized Exploration of Large State Spaces
SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Complementarity of Error Detection Techniques
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification Based on Guided Random Walks
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Backward validation of communicating complex state machines in web services environments
Distributed and Parallel Databases
Generating counter-examples through randomized guided search
Proceedings of the 14th international SPIN conference on Model checking software
Deep random search for efficient model checking of timed automata
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Model classifications and automated verification
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Towards informed swarm verification
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Uniform Monte-Carlo model checking
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Proceedings of the 2012 Extreme Modeling Workshop
| Hi-index | 0.00 |
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.