Differences

This shows you the differences between two versions of the page.

Link to this comparison view

vv-lab:guided-model-checking-with-a-bayesian-meta-heuristic [2015/02/18 19:49] (current)
egm created
Line 1: Line 1:
 +===Abstract===
 +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===
 +[http://​students.cs.byu.edu/​~egm/​pubs/​journal/​seppi-fundam-04.pdf Pdf version] or through the [http://​portal.acm.org/​citation.cfm?​id=1151666#​ ACM Portal].
 +
 +===Citation===
 +Seppi, K., Jones, M., and Lamborn, P. 2005. Guided model checking with a Bayesian meta-heuristic. ''​Fundam. Inf.''​ 70, 1 (Oct. 2005), 111-126.
 +
 +===BibTeX===
 + ​@article{1151666,​
 +    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 19: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