Here are some papers that should be read for property based heuristics. There isn't a ton of heuristics stuff. In fact Willam Visser seems to have done the most.
1. Directed explicit model checking with HSF-SPIN
by Stefan Edelkamp, A. Lluch-Lafuente
2. Symbolic guided search for CTL model checking
by R.Bloem, K. Ravi, and F.Somenzi
3. Validation with guided search for the state space
by C.Yang and D. Dill
4. Guided Model Checking with a Bayesian Meta-heuristic
by Kevin Seppi, Mike Jones and Peter Lamborn
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment