Validation with guided search of the state space
DAC '98 Proceedings of the 35th annual Design Automation Conference
Symbolic guided search for CTL model checking
Proceedings of the 37th Annual Design Automation Conference
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Model checking Java programs using structural heuristics
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Finding Optimal Solutions to Atomix
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
The Murphi Verification System
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Specification Coverage Aided Test Selection
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
Guided Model Checking with a Bayesian Meta-heuristic
ACSD '04 Proceedings of the Fourth International Conference on Application of Concurrency to System Design
Parallel search for LTL violations
International Journal on Software Tools for Technology Transfer (STTT) - Special section on parallel and distributed model checking
Hi-index | 0.00 |
This paper presents a meta-heuristic for use in finding errors in models of complex concurrent systems using explicit guided model checking. The meta-heuristic improves explicit guided model checking by applying the empirical Bayes method to revise heuristic estimates of the distance from a given state to an error state. Guided search using the revised estimates finds errors with less search effort than the original estimates.