@inproceedings{1309134, booktitle={Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.}, pages={217-226}, abstract={This work 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.}, keyword={Bayes methods;concurrency control;formal verification;search problems;Bayes method;Bayesian metaheuristic;complex concurrent systems;error state;formal verification;guided model checking;guided search;heuristic estimates;Bayesian methods;Computer errors;Computer science;Concurrent computing;Cost function;Formal verification;Protocols;Random variables;State estimation;Statistical analysis}, year={2004}, title={Guided model checking with a Bayesian meta-heuristic}, doi={10.1109/CSD.2004.1309134}, author={K. Seppi and M. Jones and P. Lamborn}, }