Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.

Ranan Fraer Gila Kamhi Limor Fix Moshe Y. Vardi

Published in: Electron. Notes Theor. Comput. Sci. (1999)

Keyphrases

source code
verification method
hidden markov models
face verification
bug fix
database
bayesian networks
model checking
formal methods
person identification
asynchronous circuits