Sciweavers

89
Voted
ACSD
2004
IEEE
95views Hardware» more  ACSD 2004»
15 years 1 months ago
Guided Model Checking with a Bayesian Meta-heuristic
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 a...
Kevin D. Seppi, Michael Jones, Peter Lamborn