Publications 2004-0101 Guided Model Checking with a Bayesian Metaheuristic

@inproceedings{Jones2018Publications2G,
  title={Publications 2004-0101 Guided Model Checking with a Bayesian Metaheuristic},
  author={Michael David Jones and Peter Lamborn and Kevin D. Seppi},
  year={2018}
}
This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm 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. 

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…