Counterexample Generation for Incomplete Designs.

Tobias Nopper Christoph Scholl

Published in: MBMV (2007)

Keyphrases

model checking
generation process
formal verification
support vector
data sets
databases
neural network
three dimensional
bayesian networks
video sequences
special case
programming language
noisy data
inconsistent information