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.

Full Paper and Presentation

Pdf version or through the ACM Portal.


Seppi, K., Jones, M., and Lamborn, P. 2005. Guided model checking with a Bayesian meta-heuristic. Fundam. Inf. 70, 1 (Oct. 2005), 111-126.


   author = {Seppi,, Kevin and Jones,, Michael and Lamborn,, Peter},
   title = {Guided model checking with a Bayesian meta-heuristic},
   journal = {Fundam. Inf.},
   volume = {70},
   number = {1},
   year = {2005},
   issn = {0169-2968},
   pages = {111--126},
   publisher = {IOS Press},
   address = {Amsterdam, The Netherlands, The Netherlands},

vv-lab/guided-model-checking-with-a-bayesian-meta-heuristic.txt · Last modified: 2015/02/18 12:49 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0