Login / Signup
Is methodology the highway out of verification hell?
Francine Bacchini
Gabe Moretti
Harry Foster
Janick Bergeron
Masayuki Nakamura
Shrenik Mehta
Laurent Ducousso
Published in:
DAC (2005)
Keyphrases
</>
model checking
evaluation methodology
signature verification
data sets
machine learning
image processing
databases
neural network
computer vision
multiscale
control system
theoretical framework
conceptual framework
design methodology
formal verification