Wednesday, January 19, 2005

Property based heurisitcs in Model Checking

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

No comments: